Finite model theory - Ebbinghaus, Heinz-Dieter 1939-; Flum, Jörg 1944- (Springer, 1995)
Keywords: Logica; Modèles, théorie des; classe complexité; isomorphisme; logique 1er ordre; théorie modèle; Logik; Model theory; Modelltheorie; Endliche Modelltheorie