Logic for mathematicians - Rosser , J Barkley (McGraw Hill, 1953)