Lerman M.,Shore R.A.,Soare R.I. ...

Новости

27 Января, 2025 «Базис» и ИСП РАН при поддержке «Фобос-НТ» обнаружили уязвимости в популярном открытом ПО виртуализации

13 Января, 2025 11 января 2025 года ушла из жизни Екатерина Михайловна Лаврищева

24 Декабря, 2024 На Открытой конференции ИСП РАН 2024 обсудили безопасность российского ПО и технологий искусственного интеллекта

Lerman M., Shore R.A., Soare R.I.

[1984]

The elementary theory of the recursively enumerable degrees is not ℵ₀-categorical,

Adv. in Math., 53, № 3, 301-320

?

OS

article

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