Cori, Rene/ Rascar, Daniel <br/><br/>
Mathematical logic : a course with exercises 

 - New York  Oxford University Press  2000 
 - 331 
<br/><br/><label>ISBN: </label>0-19-850050-5 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, symbolic and mathematical
<br/><br/><label>LC Class. No.: </label>QA 9 C742513 2000