Hoffman Peter <br/><br/>
Logic for the Mathematical/ 
Peter Hoffman. 
 -  University of Waterloo;  2006. 
 - 415 p.: 
<br/><br/> Includes bibliographical references 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical Logic
<br/><br/><label>LC Class. No.: </label>QA 9 .H644 2006