Мальцев А.И., Алгоритмы и рекурсивные функции.
Серия Математическая логика и основания математики.

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