証明論・計算論とその周辺
著者
書誌事項
証明論・計算論とその周辺
(数理解析研究所講究録, 1950)
京都大学数理解析研究所, 2015.6
- タイトル別名
-
Proof theory, computation theory and related topics December 24-26, 2014
- タイトル読み
-
ショウメイロン ケイサンロン ト ソノ シュウヘン
大学図書館所蔵 全5件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
RIMS研究集会報告集: 2014年12月24日-12月26日. 研究代表者: 照井一成
タイトルは表紙による
参考文献: 各論文末