6 октября д.ф.-м.н. С.П.Одинцов начинает чтение годового спецкурса "Логические исчисления". Курс читается на основе изданного в НГУ пособия. Имеется его электронная копия.

Курс будет читаться по вторникам в 17:45 в 340 ауд. НГУ.