TY  - BOOK
AU  - Cori,Rene
AU  - Lascar,Daniel
TI  - Mathematical logic: a course with exercises 
SN  - 0198500483
PY  - 2001///
CY  - Oxford
PB  - OUP
KW  - Logic symbolic and mathematical
N1  - Propositional calculus, Boolean algebras, predicate calculus-Recursion theory, Godel's theorems, set theory.  model theory; Includes bibliographical references and index; Open
ER  -