Перевод названия семинара на английский язык
Proof theory
Аннотация
На семинаре ведущие ученые, а также студенты и аспиранты докладывают актуальные результаты из области теории доказательств и смежных областей (теория сложности доказательств, арифметические теории, основания математики).
Является ли семинар просеминаром?
Off
Подразделения
Семестр
Целевая аудитория
Дополнительная информация
дистанционно (Zoom); материалы и контакты: http://www.mathnet.ru/conf876
Учебный год
2020/21
Аудитория