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