Haught C. A., Shore R. A. ...

Новости

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

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым

06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации

Haught C. A., Shore R. A.

[1990]

Undecidability and initial segments of the (r.e.) tt-degrees

J. Symbolic Logic, 55, № 3, 987-1006

91.04.70

O

article

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