Кафедра математической логики и теории алгоритмов

Интуиционистская логика

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

Лектор: проф. В. Е. Плиско

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

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

Материалы

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