Сегодня, 6 апреля 2026 г., в 16:00 пройдет доклад:
С. Л. Кузнецов, Т. Г. Пшеницын, Инфинитарная логика действий с сокращением.
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar",
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
#СеминарыМИАН
Post #6097
3.78K