TY  - BOOK
AU  - Lascar Daniel
AU  - Pelletier Donald H
TI  - Mathematical logic: a course with exercises
SN  - 0-19-850050-5
U1  - 511.3 
PY  - 2001///
CY  - New York
PB  - CUP
KW  - Mathematical logic
N1  - Pt.2: Recursion theory, Godel's theorems, set theory, model theory
ER  -