Logic for mathematicians - Rosser, J. Barkley (New York McGraw-Hill Book Co., Inc., 1953)
Keywords: Logic, Symbolic and mathematical