Rosser, J.B <br/><br/>
Logic for mathematicians 

 -  McGraw-Hill  1953