filmov
tv
Л.Д. Беклемишев. Лекция 14. Лемма о редукции для схем рефлексии
Показать описание
Лекционные курсы Научно-образовательного центра МИАН
Введение в теорию доказательств и ординальный анализ
Л.Д. Беклемишев. Лекция 14. Лемма о редукции для схем рефлексии
18 февраля 2018 г., г. Москва, ул. Губкина, д. 8, МИАН, ауд. 530
Все видео с сессии:
Введение в теорию доказательств и ординальный анализ
Л.Д. Беклемишев. Лекция 14. Лемма о редукции для схем рефлексии
18 февраля 2018 г., г. Москва, ул. Губкина, д. 8, МИАН, ауд. 530
Все видео с сессии:
1:47:48
2:08:22
1:41:25
2:16:22
1:42:55
1:41:20
0:53:19
1:33:05
0:54:58
1:49:52
1:31:48
1:28:33
2:01:29
1:26:52
2:07:36
1:32:25
1:27:17
1:22:17
0:58:45
1:17:00
1:19:15
1:38:29
1:22:42
1:37:57