Диссертация соискателя: Кошелева Анна Владимировна


Тема:	ПРАВИЛА ВЫВОДА МНОГОМОДАЛЬНЫХ ЛОГИК
Диссертационный совет:	Д 212.099.02
На степень:	кандидата физико-математических наук
Специальность:	01.01.06 Математическая логика, алгебра и теория чисел
Отрасль науки:	физико-математическая
Дата защиты:	10 ноября 2007 года в 14.00 часов
Адрес проведения защиты:	660041, г. Красноярск, пр. Свободный, 79