TY  - BOOK
AU  - Mendelson, Elliott
TI  - Introduction to mathematical logic 
PY  - 1964///
CY  - New Jersey: 
PB  - D. Van Nostrand Company, Inc., 
KW  - Mathematical logic
KW  - Propositional calculus
ER  -