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