Старший научный сотрудник Федеральное государственное бюджетное учреждение науки Математический институт им. В. А. Стеклова Российской академии наук Отдел математической логики адрес электронной почты: vn@grishin.ac.msk.su