Название спецкурса на русском языке
Доказуемость и формальная арифметика, часть 2
Перевод названия курса на английский язык
Provability and formal arithmetic, part 2
Авторы курса
Беклемишев Лев Дмитриевич, Яворская Татьяна Леонидовна
Целевая аудитория
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Математический институт имени В. А. Стеклова РАН]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору студента
Учебный год
2023/24
День недели
вторник
Время
16:45-18:20
Формат проведения
В аудитории
Аудитория
[Ещё не назначена]
Аннотация
16:45, г. Москва, МИАН, комн. 303 (ул. Губкина, 8).