Профессор, доктор физико-математических наук   Заведующий лабораторией Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук * Отдел математической логики Лаборатория математической логики адрес электронной почты: morozov@math.nsc.ru