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