TY  - BOOK
AU  - Mendelson,Elliott
TI  - Introduction to mathematical logic
SN  - 0-412-80830-7
AV  - QA9 M4 1997
PY  - 1997///
CY  - London
PB  - Chapman and Hall
KW  - Lógica simbólica y matemática
ER  -