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