New Methaods in Symbolic Logic - Standley, Gerald B. (Houghton Mifflin, 1971)