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