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