Introduction to logic - Bacchuber, Andrew H. (NBS, 1966)