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  - Academic Press
KW  - Logic, Symbolic and mathematical
ER  -