RUS
ENG
Полная версия
СЕМИНАРЫ
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
7 сентября 2020 г.
16:00
, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
Лекция 1. Циклические выводы в логике Гёделя-Лёба
Д. С. Шамканов
https://youtu.be/xEjr49lO6LU
©
МИАН
, 2026