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

Author(s)

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

Bibliographic Information

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

研究代表者 石原哉

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

[石原哉], 2001.3

Title Transcription

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

Details

• NCID: BA54075696
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: eng
• Place of Publication: [辰口町(石川県)]
• Pages/Volumes: [67]枚
• Size: 30cm
• Parent Bibliography ID:
  • BA30195401