Axt P. ...


Axt P.
[1965]
Iteration of primitive recursion
Math. Ann., 167, № 1, 53-55 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-ред.), М., Мир, 1970, 114-117.)
67.03.46
O
article

Вернуться к поиску