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

 - New York  McGraw-Hill  1953. 
 - xiv, 530 p. 
<br/><br/>Includes index Bibliography: p. 523-526.