Report copyright - Final: 2020/08/31 2020 The Mathematical Society of Japan ...€¦ · 10 Taishi Kurahashi (Kobe Univ.) Yuya Okawa (Chiba Univ.) Sublogics of the interpretability logic IL 15 11 Katsumi
Please pass captcha verification before submit form