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