Kleene S.C. ...

Новости

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

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

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

Kleene S.C.

[1982]

Recursive functionals and quantifiers of finite type revisited, III

Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 1-40

84.03.89

article

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