"Mathematics - Finite Model Theory and Its Applications" - читать интересную книгу автора (Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer,...)