証明論・計算論とその周辺
著者
書誌事項
証明論・計算論とその周辺
(数理解析研究所講究録, 1950)
京都大学数理解析研究所, 2015.6
- タイトル別名
-
Proof theory, computation theory and related topics December 24-26, 2014
- タイトル読み
-
ショウメイロン ケイサンロン ト ソノ シュウヘン
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
RIMS研究集会報告集: 2014年12月24日-12月26日. 研究代表者: 照井一成
タイトルは表紙による
参考文献: 各論文末