| |||
| На сервере лаборатории математической логики Петербургского математического института им. Стеклова страницы сотрудников лаборатории, информация о постоянно действующем семинаре и о текущих мероприятиях, ссылки на родственные сайты.
Поддерживается страница, посвященная 10-й проблеме Гильберта (о разрешимости диофантовых уравнений) и вкладу в ее решение заведующего лабораторией Ю. Матиясевича. http://logic.pdmi.ras.ru | |||
Лаборатория математической логики