Finite model theory - Ebbinghaus, Heinz-Dieter (Verfasser); Flum, Jörg (Verfasser) (Springer monographs in mathematics, 2006)