TY  - BOOK
AU  - Malitz, Jerome
TI  - Introduction to Mathematical Logic Set Theory computable functions model Theory  / Jerome Malitz
SN  - 0-387-90346-1
AV  - QA9 M251 
U1  - 511.3 M325i 
CY  - New York : Springer- Verlag
KW  - 1. LOGICA- MATEMATICA
ER  -