TY  - BOOK
AU  - Enderton,Herbert B.
TI  - A mathematical introduction to logic
SN  - 0122384520
AV  - QA9 E523M 2001
PY  - 2001///
CY  - San Diego, Calif.
PB  - Harcourt Academic Press
KW  - LOGIC, SYMBOLIC AND MATHEMATICAL
ER  -