LOGIC FOR MATHEMATICIANS - Rosser,J. Barkley (Mcgraw-Hill, New York, 1953)
Keywords: Logic, Symbolic And Mathematical