Logic for Mathematicians - Rosser J B (London McGraw-Hill, 1953)
Keywords: Mathematical Logic; Symbolic