Calculus of Propositions in Bertrand Rassell’s Logic. TUJ-A 2017, 38 (5).