証明論的意味論と双側面説
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
証明論的意味論と双側面説
- 著者名
-
大西, 琢朗
- 著者別名
-
オオニシ, タクロウ
- 学位授与大学
-
京都大学
- 取得学位
-
博士(文学)
- 学位授与番号
-
甲第17211号
- 学位授与年月日
-
2012-11-26
注記・抄録
博士論文
証明論的意味論と双側面説
大西, 琢朗
オオニシ, タクロウ
京都大学
博士(文学)
甲第17211号
2012-11-26
博士論文