TY  - BOOK
AU  - Ebbinghaus Heinz-Dieter
AU  - Flum Jorg
TI  - Finite model theory
U1  - 511.8 
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Arithmatic
KW  - Finite theory
KW  - Model theory
ER  -