Д.С. Шамканов. Циклические выводы для логики доказуемости Гёделя–Лёба

Научная сессия МИАН, посвященная подведению итогов 2014 г. Д.С. Шамканов. Циклические выводы для логики доказуемости Гёделя–Лёба 12 ноября 2014 г, конференц-зал МИАН (г. Москва, ул. Губкина, 8) Источник: Все видео с сессии: