Общая информация
Общие сведения
Новости
Направления деятельности
Историческая справка
Схема проезда
Подразделения
Персональный состав
Поиск атрибутный
Организаций
Персон
Структура учреждений РАН
Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук *
Отдел математической логики
Лаборатория теории вычислимости и прикладной логики
Гончаров
Сергей Савостьянович
заведующий лабораторией
Последние изменения: 20.10.2005
Поиск ресурсов
119991 Москва, Ленинский просп., 14
Телефон: (495) 938-0309 (Справ. бюро); Факс: (495) 954-3320 (Лен.пр.14), (495) 938-1844 (Лен.пр,32а)
На главную страницу
В начало страницы
©
РАН
2007