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

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