Text this: Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций