00900nam0-22003491i-450-9900014392204033213-540-65758-4000143922FED01000143922(Aleph)000143922FED0100014392220000920d1999----km-y0itay50------baengFinite model theoryHeinz-Dieter EbbinghausSecond revised and enlargedBerlinSpringer1999Teoria sui modelliModelli finiti511.3Ebbinghaus,Heinz-Dieter46491Flum,JorgITUNINARICAUNIMARCBK990001439220403321C-48-(20-2ED17094MA1MA103C1303C8068P15Finite model theory374545UNINAING01