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