構成的算術体系に対する部分帰納的実現可能性解釈の研究

著者

• 石原, 哉 イシハラ, ハジメ

書誌事項

構成的算術体系に対する部分帰納的実現可能性解釈の研究

研究代表者 石原哉

（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成9年度〜平成12年度）

[石原哉], 2001.3

タイトル読み

コウセイテキ サンジュツ タイケイ ニ タイスル ブブン キノウテキ ジツゲン カノウセイ カイシャク ノ ケンキュウ

詳細情報

• NII書誌ID(NCID): BA54075696
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: eng
• 出版地: [辰口町(石川県)]
• ページ数/冊数: [67]枚
• 大きさ: 30cm
• 親書誌ID:
  • BA30195401