Ambos-Spies K., Hirschfeldt D.R., Shore R.A. ...

Новости

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

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

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

Ambos-Spies K., Hirschfeldt D.R., Shore R.A.

[2000]

Undecidability and 1-types in intervals of the c. e. degrees

Ann. Pure Appl. Logic, 106, № 1, 1-47

?

S

article

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