TY  - BOOK
AU  - Mendelson, Elliott  .
TI  - Introduction to mathematical logic / 
SN  - 0-412-80830-7
U1  - B32 
PY  - 1997///
CY  - London : 
PB  - Chapman & Hall , 
KW  - Mathematical logic
ER  -