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