Лекция 4. С.Л.Кузнецов. Теорема Гливенко

60 Просмотры
Издатель
Курс С.Л.Кузнецова. МФТИ - МИАН. Структурная теория доказательств и алгебраическая логика
Лекция 4. С.Л.Кузнецов. Теорема Гливенко
15 марта 2021 г. 16:45, г. Москва, online на платформе Zoom
Источник: http://www.mathnet.ru/present29763
Все видео курса: www.mathnet.ru/conf1843
https://www.youtube.com/playlist?list=PLUbD59ZHv1GQ6uxmhqsv9GoQXyzxIxLNk
Категория
Занимательная механика
Комментариев нет.