Logic for mathematicians - Rosser, J. Barkley (International Series in Pure and Applied Mathematics, 1953)