Introduction to symbolic logic - Basson, Anthony Henry; O'Connor, D.J. (Daniel John) 1914- (Free Press, 1960)