000 01446-am-a2200289-a-4500
001 000057245
003 AM-YEHGA
005 20240826193551.0
008 980220s1986 ru ||||| |||| 00| 0 rus d
040 _aAM-YEHGA
_cAM-YeHGA
041 0 _arus
100 1 _aМальцев, Анатолий Иванович.
245 1 0 _aАлгоритмы и рекурсивные функции /
_cА. И. Мальцев.
250 _a2-е изд.
260 _aМосква :
_bНаука. Гл. ред. физ.-мат. лит.,
_c1986.
300 _a367 с. :
_bил.
500 _aВ прикл.: Диофантовость рекурсивно перечислимых множеств и предикатов / Д. А. Захаров
504 _aБиблиогр.: с. 348-354, 364 (126 назв.)
504 _aПредм. указ.: с. 365-367
520 3 _a[ Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики ].
650 1 4 _aАлгоритмы
650 1 4 _aФункции (мат.) рекурсивные
653 1 _aАлгоритмы
653 1 _aРекурсивные функции
653 1 _aМатематическая логика
942 _2udc
_cBK
999 _c16502
_d16502