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

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

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

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

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

Материалы

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