Миронов В.В. в программном комитете конференции Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина (Москва, Russia, 20 февраля 2014)членство в программном комитете конференции