TY  - BOOK
AU  - Shoenfield,Joseph R.
TI  - Mathematical logic
AV  - MATH QA9.S52 
PY  - 1967///
CY  - Reading
PB  - Addison-Wesley Publishing Company
KW  - Logic
KW  - symbolic and mathematical
ER  -