Лекция 1. Т.Л.Яворская. Интуиционистская логика высказываний. Семантика Крипке

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