Introduction to symbolic logic - Basson, A.H (Univeristy of Tutorial Press, 1959)