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