English version Russian Win-1251 Russian koi-8
Отдел математической логики | ||
Заведующий отделом академик Ершов Юрий Леонидович | ||
Л1 | Лаборатория математической логики | зав.лаб. Ершов Ю.Л. |
Л2 | Лаборатория теории вычислений и прикладной логики═ | зав.лаб. Гончаров С.С. |
Последнее обновление 18.07.2000 года.
Свое мнение о страничках отдела вы можете высказать с помощью e-mail.