RUS
ENG
Полная версия
СЕМИНАРЫ
Структурная теория доказательств и алгебраическая логика
26 апреля 2021 г.
16:45
, г. Москва, МФТИ - МИАН
Лекция 10.Неразрешимость задачи выводимости в MALC из гипотез
С. Л. Кузнецов
https://youtu.be/UiNWO2uMNqY
©
МИАН
, 2024
