Finite Model Theory
by Heinz-Dieter Ebbinghaus, Jörg Flum.
Second Revised and Enlarged Edition 1999.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
v.: digital
Serie: Springer Monographs in Mathematics, ISSN 1439-7382
ISBN: 9783540287889