Петр Сергеевич (1901-75) - российский ученый, основатель школыматематической логики, академик АН СССР (1960). Основные труды по теориимножеств, математической логике, теории алгоритмов, теории групп.Ленинская премия (1957).
