Cori, René <br/><br/>
Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier. Pt. 2, recursion theory, Gödel’s theorems, set theory, model theory 
René Cori and Daniel Lascar ; translated by Donald H. Pelletier 
 - Oxford  Oxford University Press  2001 
 - xx, 331 p. ; 25 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780198500513 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>511.3 COR