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