Result: Finite model theory

*Title*:

Finite model theory / Heinz-Dieter Ebbinghaus ; Jörg Flum

*Author/editor-in-chief*:

*Publication*:

Berlin [u.a.] : Springer, 1995

*Physical description scale*:

XV, 327 S. : graph. Darst.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Perspectives in mathematical logic

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

354060149X

*Result*: Finite model theory