"Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)" - читать интересную книгу автора (Erich Gradel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer,...)