Катленд Найджел. Вычислимость. Введение в теорию рекурсивных функций

Перевод с англ. А. А. Мучника под ред. С. Ю. Маслова. — М.: Мир, Редакция литературы по математическим наукам, 1983. — 255 с.Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Гёделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений.Для математиков, специалистов по ЭВМ, желающих ознакомиться с теоретическими основами машинной математики.