Kleene S.C.,Post E.L. ...

Новости

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

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

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

Kleene S.C., Post E.L.

[1954]

The upper semilattice of degrees of recursive unsolvability.

Ann. Math., 59, № 3, 379-407

56. 1910

ROS

article

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