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