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

Лектор: Академик РАН Алексей Львович Семенов
2014/2015
Кафедра математической логики и теории алгоритмов