Cenzer D., Clote P., Smith R. L., Soare R.I., Wainer S.S. ...

Новости

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

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

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

Cenzer D., Clote P., Smith R. L., Soare R.I., Wainer S.S.

[1986]

Members of countable Π₁⁰classes

Ann. Pure Appl. Logic, 31, № 2-3 , 145-163

?

S

article

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