Finite model theory / Heinz-Dieter Ebbinghaus, Jorg Flum. - Ebbinghaus, Heinz-Dieter, 1939- (Springer monographs in mathematics,, 2006)