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