Сергей Всеволодович (р. 1924) - российский ученый,член-корреспондент РАН (1991; член-корреспондент АН СССР с 1968). Труды поматематической логике и математическим вопросам кибернетики. Ленинскаяпремия (1966).