Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Ebbinghaus, Heinz-Dieter Visualizza persona
Titolo: Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum Visualizza cluster
Pubblicazione: Berlin, : Springer, 1995
Descrizione fisica: XV, 327 p. : ill. ; 25 cm.
Soggetto topico: 03D15 - Complexity of computation [MSC 2020]
68P15 - Database theory [MSC 2020]
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020]
Persona (resp. second.): Flum, Jörg
Titolo autorizzato: Finite model theory  Visualizza cluster
ISBN: 978-35-406-0149-4
35-406-0149-X
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: SUN0055754
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Serie: Perspectives in mathematical logic Berlin . -Springer , 1987-1997.