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