Finite model theory - Ebbinghaus, Heinz-Dieter, 1939- (Perspectives in Mathematical Logic (Springer Verlag) / R.O. Gandy, H. Hermes, A. Levy, G.H. Muller, 1999)