RUS  ENG
Полная версия
СЕМИНАРЫ

Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
7 сентября 2020 г. 16:00, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)


Лекция 1. Циклические выводы в логике Гёделя-Лёба

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


https://youtu.be/xEjr49lO6LU


© МИАН, 2026