TY  - BOOK
AU  - Shoenfield,Joseph R.
TI  - Mathematical logic
AV  - QA9 .S52
U1  - 164 
PY  - 1967///]
CY  - Reading, Mass.
PB  - Addison-Wesley Pub. Co.
KW  - Logic, Symbolic and mathematical
KW  - Logique symbolique et mathématique
KW  - Wiskundige logica
KW  - gtt
KW  - Symbolische logica
N1  - Also issued online
UR  - http://www.archive.org/details/mathematicallogi00shoe
UR  - http://www.openlibrary.org/books/OL5543254M
ER  -