Юрий Матиясевич Указатель по именам

математик, руководитель лаборатории математической логики СПбОМИ им. В. Стеклова, член-корр. РАН