Kleene S.C. ...

Новости

17 Октября, 2025 Конкурс на замещение должности

10 Октября, 2025 Защита диссертаций

26 Сентября, 2025 Защита диссертаций

Kleene S.C.

[1936]

λ-definability and recursiveness

Duke Math. J., 2 , № 2, 340-353

~

ROS

article

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