RUS
ENG
Полная версия
ВИДЕОТЕКА
Научная сессия МИАН, посвященная подведению итогов 2014 года
12 ноября 2014 г.
12:15
, г. Москва, конференц-зал МИАН (ул. Губкина, 8)
Циклические выводы для логики доказуемости Гёделя–Лёба
Д. С. Шамканов
https://youtu.be/NJy0FR4jYuA
©
МИАН
, 2024