RUS  ENG
Полная версия
ВИДЕОТЕКА

Научная сессия МИАН, посвященная подведению итогов 2014 года
12 ноября 2014 г. 12:15, г. Москва, конференц-зал МИАН (ул. Губкина, 8)


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

Д. С. Шамканов


https://youtu.be/NJy0FR4jYuA


© МИАН, 2024