Общероссийский портал Math-Net.Ru
https://mathnet.ru/
https://www.youtube.com/c/MathNetRussia
Post #6634
1.32K
Сегодня, 21 сентября 2026 г., в 16:00 пройдет доклад:
Н. А. Баженов, О степенях Вайрауха для проблем эффективной категоричности.
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar",
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
#СеминарыМИАН
Н. А. Баженов, О степенях Вайрауха для проблем эффективной категоричности.
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar",
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
#СеминарыМИАН