"Descriptive Complexity (Texts in Computer Science)" - читать интересную книгу автора (Neil Immerman)