1953окт23 Член-корреспондент по Отделению физико-математических наук (математика)

1939-1972Математический институт им. В.А. Стеклова РАН старший научный сотрудник, заведующий лабораторией, заместитель директора

1959-1979Московский государственный университет им. М.В. Ломоносова заведующий кафедрой математической логики

Санкт-Петербург (Ленинград)

Математик.