RUS  ENG
Полная версия
СЕМИНАРЫ

Спецкурс «Математическая логика, часть 2»
9 апреля 2020 г. 14:45, г. Москва, online


Лекция 9. Интуиционистская логика первого порядка, ч. 2

С. Л. Кузнецов


https://youtu.be/VMJjo9zoR0E


© МИАН, 2024