Logic for mathematicians - Rosser, J. Barkley (International series in pure and applied mathematics, 1953)