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

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