TY  - BOOK
AU  - Mendelson, Elliott
TI  - Introduction to mathematical logic ed. 2
SN  - 0-442-25307-9
PY  - 1979///
CY  - London
PB  - D.Van Nostrand Co.
KW  - Logic,symbolic and mathematical
ER  -