TY  - BOOK
AU  - Malitz Jerome
TI  - Introduction to mathematical logic: set theory,computable functions;model theory
U1  - 511.3 
PY  - 1979///
CY  - N Y
PB  - Springer Verlag
KW  - Mathematical logic
KW  - Model theory
KW  - Set theory
ER  -