Dekker J.C.E., Myhill J. ...

Новости

14 Августа, 2025 Конкурс на замещение должности

08 Августа, 2025 Защита диссертаций

03 Июля, 2025 Конкурс на замещение должности

Dekker J.C.E., Myhill J.

[1960]

Recursive equivalence types

Univ. California Publ. Math., 3, № 3, 67-214

62.05.81

ROS

article

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