TY  - BOOK
AU  - Mendelson, Elliott.
TI  - Introduction to Mathematical Logic
PY  - 1964///
CY  - New Jersey
PB  - D. Van Nostrand Company, Inc.
ER  -