TY  - BOOK
AU  - Cori, René
AU  - Lascar, Daniel
AU  - Pelletier, Donald H
TI  - Mathematical logic : a course with exercises. Pt. 2, recursion theory, Gödel’s theorems, set theory, model theory
SN  - 9780198500513
U1  - 511.3 COR 
PY  - 2001///
CY  - Oxford
PB  - Oxford University Press
KW  - Logic, Symbolic and mathematical
N1  - Translated from the French. Includes bibliographical references and index
ER  -