Сегодня, 15 декабря 2025 г., в 16:00 пройдет доклад:

A. Freund, Approaching Girard's functor Lambda.
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar",
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн

#СеминарыМИАН