"Сложность некоторых естественных проблем на классе вычислимых I-алгебр" - читать интересную книгу автора (Когабаев Н. Т.)