志村 立矢
シムラ タツヤ (Tatsuya SHIMURA)
更新日: 2023/09/23
MISC
6
表示件数
-
京都大学数理解析研究所講究録 No.1021 sequent calculus と Kriple semantics に基づく非古典論理学の研究 1021 70-85 1997年12月 招待有り筆頭著者
-
京都大学数理解析研究所講究録 No.1010 非古典論理と Kripke 意味論の新局面 1010 89-100 1997年8月 招待有り筆頭著者
-
京都大学数理解析研究所講究録 No.927 非古典論理とその Kripke 意味論に関する諸問題 927 104-115 1995年11月 招待有り筆頭著者
-
京都大学数理解析研究所講究録 No.847 証明論と逆数学 847 61-67 1993年8月 招待有り筆頭著者
-
数学セミナー 1993年4月号 30, 34, 55 1993年4月 招待有り筆頭著者
-
京都大学数理解析研究所講究録 No.669 二階算術の証明論 669 1-15 1988年8月 招待有り筆頭著者