Пахомов Ф.Н. в программном комитете конференции Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles) (Steklov Mathematical Institute, Moscow, Russia, Russia, 17-20 октября 2017)членство в программном комитете конференции