Finite model theory - Ebbinghaus, Heinz-Dieter 1939-; Flum, Jörg 1944- (Springer, 1995)
Keywords: Modelltheorie; Endliche Modelltheorie