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

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