Bell, John Lane <br/><br/>
A course in mathematical logic 
by J. L. Bell and M. Machover 
 - Amsterdam  North-Holland Publishing Company  1977 
 - xviii, 599 p. ; 23 cm. 
<br/><br/> Includes indexes. 
<br/><br/>Bibliography: p. 576-583. 
<br/><br/><label>ISBN: </label>0720428440 
<br/><br/><label>LCCN: </label>75-033890 //r88 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical