01728nam 2200445 450 00001124120050718115400.03-540-60149-X20020722d1995----km-y0itay0103----baengDEFinite model theoryHeinz-Dieter Ebbinghaus, Jörg FlumBerlino [etc.]Springerc1995XV, 327 p.ill.24 cm.Perspectives in Mathematical LogicTeoria dei modelliLogica matematica511.3(20. ed.)Logica matematica (Logica simbolica)03C13Mathematical logic and foundations. Model theory. Finite structures03C80Mathematical logic and foundations. Model theory. Logic with extra quantifiers and operators03D15Mathematical logic and foundations. Computability and recursion theory. Complexity of computation68P15Computer science. Theory of data. Database theoryEbbinghaus,Heinz-Dieter46491Flum,Jörg756957ITUniversità della Basilicata - B.I.A.RICAunimarc000011241Finite model theory1526738UNIBASMONSCIMONOGRSCIENZEEXT0020120020722BAS011111STD0370120041018BAS01124720050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT4084M40842002072251Riservati