Kleene S.C. ...

Новости

12 Апреля, 2024 Защита диссертаций

15 Марта, 2024 Сегодня стартовали выборы Президента России

13 Марта, 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

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