Treffer: Finite model theory

Titel:

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

Beteiligt:

Ausgabe:

2., rev. and enl. ed.

Veröffentlicht:

Berlin [u.a.] : Springer, 1999

Umfang:

XIII, 360 S.

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Perspectives in mathematical logic

RVK-Notation:

Schlagworte:

ISBN:

3540657584 ; 3540287876 ; 9783540287872

Lokale Klassifikationen:

Zusatz-Informationen