|
Записки научных семинаров ЛОМИ, 1968, том 8, страницы 32–45
(Mi znsl2247)
|
|
|
|
Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация
А. Г. Драгалин
Образец цитирования:
А. Г. Драгалин, “Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация”, Исследования по конструктивной математике и математической логике. II, Зап. научн. сем. ЛОМИ, 8, Изд-во «Наука», Ленинград. отд., Л., 1968, 32–45
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2247 https://www.mathnet.ru/rus/znsl/v8/p32
|
|