Лекция 2. Т.Л.Яворская. Полнота интуиционистской логики относительно семантики Крипке

Курс Т.Л.Яворской. МФТИ - МИАН. Неклассические логики Лекция 2. Т.Л.Яворская. Полнота интуиционистской логики относительно семантики Крипке 15 февраля 2021 г. 11:30, г. Москва, ул.Губкина, аудитория № 303 online на платформе Zoom Источник: Все видео курса: