Перевод названия семинара на английский язык
Computability and non-classical logics
Аннотация
Разбираются как актуальные публикации, так и разработки студентов в области интуиционистских и модальных логик и теории алгоритмов
Является ли семинар просеминаром?
Off
Подразделения
Семестр
Целевая аудитория
Дополнительная информация
Контакты:
http://logic.math.msu.ru/staff/plisko/
Учебный год
2022/23
Дни недели
Время
Аудитория