Один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии.

Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. 

1901-1975гг.