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