TY  - BOOK
AU  - Ebbinghaus, H.D.
AU  - Axler, S.
AU  - Flum, J. 
TI  - Mathematical logic
SN  - 0387942580
U1  - 510.6 
PY  - 1994///
CY  - New York
PB  - Springer
KW  - LOGIC, SYMBOLIC AND MATHEMATICAL
ER  -