TY  - BOOK
AU  - Enderton, Herbert B.
TI  - A Mathematical Introduction To Logic
U1  - 510.01  
PY  - 1972///
ER  -