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

Попробуйте воспользоваться поиском.