Logic for mathematicians. - Rosser, J. Barkley (New York Mc- Graw- Hill Book Company Inc., 1953)