New methods in symbolic logic - Standley, Gerald B. (Houghton Mifflin, 1971)