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