構成的算術体系に対する部分帰納的実現可能性解釈の研究
著者
書誌事項
構成的算術体系に対する部分帰納的実現可能性解釈の研究
(科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成9年度〜平成12年度)
[石原哉], 2001.3
- タイトル読み
-
コウセイテキ サンジュツ タイケイ ニ タイスル ブブン キノウテキ ジツゲン カノウセイ カイシャク ノ ケンキュウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する