Кафедра математической логики и теории алгоритмов
Спецкурс: "Компьютерная логика"
Лектор: профессор С.Н. Артёмов