Cori, René <br/><br/>
Mathematical logic:  a course with exercises/ 
René Cori and Daniel Lascar ; translated by Donald H. Pelletier. 
 - Oxford:  New York:  Oxford University Press,  2000-2001. 
 - 2 v.;  24 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/>Propositional calculus, Boolean algebras, predicate calculus -- Recursion theory, Gödel's theorems, set theory. model theory. 
<br/><br/><label>ISBN: </label>0198500491 (pt. 1 : acid-free paper) 0198500483 (pbk. : pt. 1 : acid-free paper) 
<br/><br/><label>LCCN: </label>00056525 
<br/><br/><label>Nat. Bib. No.: </label>GBA0-65273 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.
<br/><br/><label>Dewey Class. No.: </label>511.3  / C798m