Сегодня, 10 июня 2026 г., в 14:00 пройдет доклад:

С. М. Дудаков, Об определимости в 3-дереве.
Логический семинар лаборатории им. Манина,
г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный

#СеминарыМФТИ