Logic for mathematicians. - Rosser, J. Barkley (McGraw-Hill, 1953)