Родился в Москве. Окончил Московский университет (1950 г.), аспирантуру там же. С 1953 г. работает в Институте прикладной математики АН СССР. Доктор физико-математических наук (1962 г.), профессор, член- корреспондент АН СССР (1968 г.).
Основные труды относятся к математической логике и электронно-вычислительным машинам. Еще в аспирантуре под руководством П. С. Новикова получил



























































