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

Введение в математическую логику 2010-2011 (Семенов)

Лектор: чл.-корр. РАН Алексей Львович Семёнов
2010/2011,
весенний
семестр


Рекомендуемая литература