Finite model theory - Ebbinghaus, Heinz-Dieter, (Springer monographs in mathematics,)