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

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