Конструктивная логика

Полугодовой спецкурс по выбору кафедры (осень 2021)

Лектор: доцент В. Е. Плиско

Читается по вторникам 16:45–18:20 дистанционно (Zoom). Первая лекция — 15 февраля.
Для получения ссылки Zoom напишите лектору.

Страница спецкурса в базе данных мехмата.

Материалы

• В.Е.Плиско, В.Х.Хаханян. Интуиционистская логика. М.:Изд-во при мехмате МГУ, 2009, 160 стр. [ pdf ]
• В.Е.Плиско. Лекции по конструктивной логике. М.: Луч, 2021. 247 с.