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

Введение в математическую логику и теорию алгоритмов (семинары)