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