N. Naseef, “Calculus of propositions in Bertrand rassell’s logic”, TUJ-A, vol. 38, no. 5, Jan. 2017.