Book

Logic for mathematicians

by Rosser, J. Barkley