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