Finite model theory - Ebbinghaus, Heinz-Dieter 1939- (Springer, 1999)