Лекция 8. С.Л. Кузнецов. Интуиционистская логика первого порядка, ч. 1

Лекция 8. С.Л. Кузнецов. Интуиционистская логика первого порядка, ч. 1 Спецкурс «Математическая логика, часть 2» 6 апреля 2020 г. 14:30, г. Москва, online Источник:
   • Спецкурс «Математическая логика, часть 2»,...  

Смотрите также