|
Труды Математического института имени В. А. Стеклова, 1958, том 52, страницы 75–139
(Mi tm1293)
|
|
|
|
Эквивалентность нормальных алгорифмов и рекурсивных функций
В. К. Детловс
Образец цитирования:
В. К. Детловс, “Эквивалентность нормальных алгорифмов и рекурсивных функций”, Проблемы конструктивного направления в математике. 1, Сборник работ, Тр. МИАН СССР, 52, Изд-во АН СССР, М.–Л., 1958, 75–139
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm1293 https://www.mathnet.ru/rus/tm/v52/p75
|
|