В 1959 году была создана кафедра математической логики В МГУ, в основе которой стал научный семинар по математической логике. В 1945 году соавтор семинара стал заслуженным деятелем науки РСФСР. Напишите его фамилию.​