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