М.: Советское радио, 1980. — 128 с.
Книга посвящена доказательству существования невычислимых функций и
алгоритмически неразрешимых задач. Обсуждаются проблемы оценки
сложности вычислений и алгоритмов. Книга будет полезна широкому
кругу специалистов, занимающихся проблемами машинного перевода,
искусственного интеллекта, общего использования ЭВМ.