RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Математического института имени В. А. Стеклова // Архив
Тр. МИАН СССР, 1958, том 52, страницы 75–139 (Mi tm1293)
Эквивалентность нормальных алгорифмов и рекурсивных функций

В. К. Детловс




Реферативные базы данных:

© МИАН, 2024