Introduction to symbolic logic - Basson, Anthony H.; O'Connor, D. J. 1914-2012 (Free Pr., 1960)