01017nam0-22003851i-450-9900013512204033213-540-60149-X000135122FED01000135122(Aleph)000135122FED0100013512220000920d1995----km-y0itay50------baengFinite model theoryHeiz-Dieter Ebbinghaus, Jorg FlumBerlinSpringer-Verlag1995xv, 327 p.24 cmPerspectives in mathematical logicModelli finitiTeoria della ricorsivita'DatabasesTeoria511.3Ebbinghaus,Heinz-Dieter46491Flum,JorgITUNINARICAUNIMARCBK990001351220403321C-48-(2014137MA1MA103C1303C8003D1568P15Finite model theory374545UNINAING01