Алгоритмы и рекурсивные функции /
А. И. Мальцев.
- 2-е изд.
- Москва : Наука. Гл. ред. физ.-мат. лит., 1986.
- 367 с. : ил.
В прикл.: Диофантовость рекурсивно перечислимых множеств и предикатов / Д. А. Захаров
Библиогр.: с. 348-354, 364 (126 назв.) Предм. указ.: с. 365-367
[ Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики ].
Алгоритмы Функции (мат.) рекурсивные
Алгоритмы Рекурсивные функции Математическая логика