Logic for mathematicians.
Rosser, J. Barkley(John Barkley),1907-1989.
New York; London,
1953.