TY  - BOOK
AU  - Ebbinghaus,H.D
AU  - Flum,J
AU  - Thomas,W
TI  - Mathematical logic
SN  - 0387908951
PY  - 1984///
CY  - New York
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
N1  - Translation of: Einführung in die mathematische Logik
ER  -