"Finite Model Theory (Springer Monographs in Mathematics)" - читать интересную книгу автора (Heinz-Dieter Ebbinghaus, Jörg Flum)