Редакторы: Дж Барвайс Юрий Ершов Переводчики: С Дворников Игорь Лавров "Теория рекурсии" - так называется настоящий том "Справочной книги по математической логике" - состабюмусвляет теоретическую основу современного учения об алгоритмах Первая вводная глава тома, написанная Эндертоном, знакомит с тем разделом теории алгоритмов, который теперь называется "классической" теорией рекурсии Две следующие главы, написанные Девисом и Рабвлвсвином, занкомят с постановками различных алгоритмических проблем, возникающих в арифметике, алгебре, математической логике и других разделах математики Четвертая глава, написанная Симпсоном, знакомит с теорией (тьюринговых) степеней неразрешимости Пятая глава, написанная Шором, является содержательным обзором по так называемой a-рекурсии В шестой главе, написанной Кекрисом и Московакисом, излагается новый подход к изложению теории рекурсии по Клини для функционалов конечных типов Свсмфаедьмая глава, написанная Ацелом, является введением в общую теорию индуктивных определений Перевод с английского.