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