*Result*: Finite model theory
*Title*:
Finite model theory / Heinz-Dieter Ebbinghaus ; Jörg Flum
*Author/editor-in-chief*:
*Edition*:
2., rev. and enl. ed.
*Publication*:
Berlin [u.a.] : Springer, 1999
*Physical description scale*:
XIII, 360 S.
*Format*:
*Language*:
*eng*
*series_multipart*:
Perspectives in mathematical logic
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
3540657584 ; 3540287876 ; 9783540287872
*L1_Classifications*: