証明論と証明活動 : RIMS共同研究(公開型)
著者
書誌事項
証明論と証明活動 : RIMS共同研究(公開型)
(数理解析研究所講究録, 2083)
京都大学数理解析研究所, 2018.8
- タイトル別名
-
Proof theory and proving : December 25-27, 2017
- タイトル読み
-
ショウメイロン ト ショウメイ カツドウ : RIMS キョウドウ ケンキュウ (コウカイガタ)
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
RIMS共同研究(公開型)報告集: 2017年12月25日-12月27日. 研究代表者: 佐々木克巳
参考文献: 各論文末