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