Ершов Ю., Теория нумераций.
Серия Математическая логика и основания математики.

1977, изд-во: Наука., город: Москва., стр. : 416 стр., илл., обложка: Твердый издательский переплет с суперобложкой., формат: Обычный, состояние: Отличное. . Книга посвящена изложению основ нового развивающегося раздела теории алгоритмов. Нумерации позволяют переходить от работы с абстрактными объектами математики — матрицами, группами, функциями и т. п. — к работе с натуральными числами — номерами. Такой переход расширяет возможности применения уже хорошо разработанного раздела теории алгоритмов — теории рекурсивных функций. Среди вопросов, нашедших отражение в книге, можно отметить следующие, построение теории креативности — m-универсальности, которая в рамках теории нумераций приобрела законченный вид, изучение индексных множеств классических нумераций Поста и Клини, построение теории частичных вычислимых функционалов конечных типов, изучение свойств категории нумерованных множеств и полных нумераций.