Традиционными темами исследований, проводимых в лаборатории математической логики, являются основания математики, теория доказательств, поиск логического вывода, алгоритмические вопросы алгебры и теории чисел. В последние годы появилось новое направление - дискретная математика (в основном теория графов).

	Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а)	Назад