Kreisel G.,Sacks G.E. ...

Новости

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

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

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

Kreisel G., Sacks G.E.

[1965]

Metarecursive sets

J. Symbolic Logic, 30, № 3, 318-338

68.07.68

RS

article

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