Naseef, N. Calculus of Propositions in Bertrand rassell’s Logic. TUJ-A 2017, 38.