Logic for mathematicians - Rosser J Barkley (1953)
Keywords: PHILOSOPHY