Enderton, Herbert B. <br/><br/>
A mathematical introduction to logic 
/ Herbert B. Enderton 
 - New York :  Academic Press,  1972. 
 - xiii, 295p. :  ill. ;  24cm