Kleene S.C. ...

Новости

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

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

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

Kleene S.C.

[1985]

Unimonotone functions of finite types (recursive functionals and quantifiers of finite type revisited IV)

Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 119-138

86.03.41

O

article

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