Introduction to symbolic logic - Basson, A. H. (University Tutorial Press, 1970)