Workshop on Proof Theory, Modal Logic and Reflection Principles
17 октября 2017 г. 10:35, Москва, Математический институт им. В.А. Стеклова РАН