Mendelson, Elliott. <br/><br/>
Introduction to mathematical logic. 

 - Princeton, NJ :  Van Nostrand,  [1964] 
 - The University series in undergraduate mathematics .
<br/><br/>Bibliography: p. 272-287. 
<br/><br/><label>LCCN: </label>64009524 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.
<br/><br/><label>LC Class. No.: </label>QA9  / .M4 
<br/><br/><label>Dewey Class. No.: </label>164