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