TY  - BOOK
AU  - Ebbinghaus,H.-
AU  - Flum,J.
AU  - Thomas,W.
TI  - Mathematical logic
SN  - 0387942580
U1  - 511.3 EB17M2 
PY  - 1994///
CY  - New York
PB  - Springer-Verlag
KW  - Group theory
KW  - Syntax of first-order language
KW  - Semantics of first order language
ER  -