01532nam0 2200361 i 450 VAN005575420240212095932.13635-406-0149-X978-35-406-0149-420061110d1995 |0itac50 baengDE|||| |||||Finite model theoryHeinz-Dieter Ebbinghaus, Jörg FlumBerlinSpringer1995XV, 327 p.ill.25 cm001VAN00508172001 Perspectives in mathematical logic210 BerlinSpringer03D15Complexity of computation [MSC 2020]VANC023630MF68P15Database theory [MSC 2020]VANC023737MF03C80Logic with extra quantifiers and operators [MSC 2020]VANC024415MF03C13Model theory of finite structures [MSC 2020]VANC024491MFBerlinVANL000066EbbinghausHeinz-DieterVANV02440946491FlumJörgVANV044268Springer <editore>VANV108073650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterVANV044267Flum, JorgFlum, JörgVANV062007ITSOL20240614RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0055754BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1251 08 4482 II 20061110 Finite model theory374545UNICAMPANIA