Finite model theory - Ebbinghaus, Heinz-Dieter, 1939- (Springer, 1999)
second revised and enlarged edition 1999