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