TY  - BOOK
AU  - Ebbinghaus, Heinz Dieter.
AU  - Flum, Jorg.
TI  - Finite Model theory
SN  - 3 540 65758 4
CY  - Berlin
KW  - Finite Model Theory
ER  -