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