Большой энциклопедический словарь:
НОВИКОВ Петр Сергеевич (1901-75) — российский ученый, основатель школы математической логики, академик АН СССР (1960). Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. Ленинская премия (1957).
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020