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