Axt P. ...

Новости

26 Сентября, 2024 Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

19 Сентября, 2024 Открыт приём заявок на премию «За верность науке»

Axt P.

[1965]

Iteration of primitive recursion

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

67.03.46

article

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