FriedmanHM,Simpson S.G. ...

Новости

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

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

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

Friedman H.M., Simpson S.G.

[2000]

Issues and problems in reverse mathematics

Contemporary Math., 257, 127-144

04.09.32

article

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