Introduction to logic - Bachhuber, Andrew H. (Appleton-Century Grofts, Inc., 1966)