Kleene S.C. ...

Новости

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

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

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

Kleene S.C.

[1978]

Recursive functionals and quantifiers of finite type revisited, I

General Recursion Theory, II, Proc. Symp. (Oslo, 1977), North Holland, 185-222

79.06.73

O

article

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