О конструктивных множествах в теории множеств Симпсона.
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
2 марта 2026 г. 16:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн.
Видеофайл mathnet.ru
Перейти к публикации
| Авторы: Кановей В.Г. |