Introduction to logic - Bachhuber, Andrew H. (Appleton-Century, 1957)