RUS
ENG
Полная версия
СЕМИНАРЫ
Спецкурс «Математическая логика, часть 2»
20 апреля 2020 г.
14:30
, г. Москва, online
Лекция 12. Интуиционистская логика первого порядка, ч. 5
С. Л. Кузнецов
https://youtu.be/4m3tkPjNf3g
©
МИАН
, 2024