証明論と論理・計算の構造 : RIMS共同研究

著者

• 京都大学数理解析研究所 キョウト ダイガク スウリ カイセキ ケンキュウショ
• 倉田, 俊彦 クラタ, トシヒコ

書誌事項

証明論と論理・計算の構造 : RIMS共同研究

（数理解析研究所講究録, 1635）

京都大学数理解析研究所, 2009.4

タイトル別名

Proof theoretical study of the structure of logic and computation

タイトル読み

ショウメイロン ト ロンリ ケイサン ノ コウゾウ : RIMS キョウドウ ケンキュウ

注記

RIMS共同研究報告集: 2008年9月8日-9月10日. 研究代表者: 倉田俊彦

参考文献: 各論文末

タイトルは表紙による

詳細情報

• NII書誌ID(NCID): BA8998790X
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [京都]
• ページ数/冊数: 133p
• 大きさ: 26cm
• 親書誌ID:
  • BN06637050