Logic for Mathematicians - Rosser, J. Barkley (John Barkley) 1907- (Dover Publications, 2008)