QR code of document
517
К295
Катленд, Н.
Вычислимость введение в теорию рекурсивных функций [Текст] / Пер.с англ.А.А.Мучника.; Под ред.С.Ю.Маслова. - М. : Мир, 1983. - 256 с. - 01р.00к. тг.
| УДК | 517 |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- алгоритм -- теория чисел -- арифметика -- теорема
Экземпляры всего: 2
6.1-№8 оқу залы (2)
Свободны: 6.1-№8 оқу залы (2)