Роджерс Х., Теория рекурсивных функций и эффективная вычислимость.
Перевод с английского. Под редакцией В. А. Успенского

1972, изд-во: Мир, город: Москва, стр. : 624 стр., обложка: Твердый издательский переплет, формат: Слегка увеличенный., состояние: Отличное-очень хорошее. . Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований на момент написания книги. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в пей содержится очень много упражнений. Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории алгоритмов. Она доступна аспирантам и студентам старших курсов университетов и пединститутов.