Kleene S.C. ...

Новости

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым

06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации

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

Kleene S.C.

[1962]

Herbrand-Gödel style recursive functionals of finite types

Recursive Functions Theory, Proc. Symp. Pure Math., 5, Amer. Math. Soc., Providence, RI, 49-75

68.05.61

article

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