1 0pIdMn7r (Perspectives in Mathematical Logic) Heinz-Dieter Ebbinghaus, Jörg Flum

Finite Model Theory-Springer (1995)