01473nam0 2200349 i 450 SUN005575420170929015554.689978-35-406-0149-40.0035-406-0149-X20061110d1995 |0engc50 baengDE|||| |||||*Finite model theoryHeinz-Dieter Ebbinghaus, Jörg FlumBerlinSpringer1995XV, 327 p.ill.25 cm.001SUN00508172001 *Perspectives in mathematical logic210 BerlinSpringer1987-1997.03D15Complexity of computation [MSC 2020]MFSUNC02363068P15Database theory [MSC 2020]MFSUNC02373703C80Logic with extra quantifiers and operators [MSC 2020]MFSUNC02441503C13Model theory of finite structures [MSC 2020]MFSUNC024491BerlinSUNL000066Ebbinghaus, Heinz-DieterSUNV02440946491Flum, JörgSUNV044268SpringerSUNV000178650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterSUNV044267Flum, JorgFlum, JörgSUNV062007ITSOL20201012RICASUN0055754UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1251 08 4482 II 20061110 Finite model theory374545UNICAMPANIA