"Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций" - читать интересную книгу автора (Мучник А.А. (ред))