TY  - BOOK
AU  - Mendelson Elliott
TI  - Introduction to mathematical logic
PY  - 1979///
CY  - New York, USA
PB  - D. Van Nostrand Company
ER  -