算術体系の証明論 : RIMS共同研究

著者

• 京都大学数理解析研究所 キョウト ダイガク スウリ カイセキ ケンキュウショ

書誌事項

算術体系の証明論 : RIMS共同研究

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

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

タイトル別名

Proof theory arithmetic

タイトル読み

サンジュツ タイケイ ノ ショウメイロン : RIMS キョウドウ ケンキュウ

注記

その他のタイトルは目次より

RIMS共同研究報告集: 2006年8月21日-8月23日. 研究代表者: 黒田覚

参考文献: 論末

詳細情報

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