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