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