brand

Kleene S.C. ...


Новости

28 Сентября, 2026 Конкурс на замещение должности
03 Августа, 2026 Защита диссертаций
11 Июля, 2026 Защита диссертаций
Kleene S.C.
[1943]
Recursive predicates and quantifiers
Trans. Amer. Math. Soc., 53, № 1, 41-73
~
ROS
article

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