Finite Model Theory. Springer-Verlag. Second edition (1999)

by H-D Ebbinghaus, J Flum