ОТЕЧЕСТВЕННЫЙ ЭНЦИКЛОПЕДИЧЕСКИЙ СЛОВАРЬ
В энциклопедическом словаре около 11000 статей
НОВИКОВ
НОВИКОВ Пётр Сергеевич (1901-1975),
математик, основатель школы математической логики, академик АН СССР (1960).
Осн. труды по теории множеств, математической логике, теории алгоритмов,
теории групп. Ленинская премия (1957).