TY  - BOOK
AU  - Enderton,Herbert B.
TI  - A mathematical introduction to logic 
SN  - 0122384520 
AV  - QA9 E53 2001
PY  - 2001///
CY  - San Diego, CA : 
PB  - Harcourt/Academic Press, 
KW  - lemb
KW  - Lógica simbólica y matemática
N1  - Incluye ìndice
ER  -