New methods in symbolic logic - Standley, Gerald B. (Boston Houghton Mifflin, 1971)
Keywords: Logic, Symbolic and mathematical