Jump to main content
図書

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

Icons representing 図書

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

Call No. (NDL)
Y151-H09640253
Bibliographic ID of National Diet Library
000007064455
Material type
図書
Author
石原, 哉, 北陸先端科学技術大学院大学
Publisher
-
Publication date
1997-2000
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
コウセイテキ サンジュツ タイケイ ニ タイスル ブブン キノウテキ ジツゲン カノウセイ カイシャク ノ ケンキュウ
Author/Editor
石原, 哉, 北陸先端科学技術大学院大学
Author Heading
石原, 哉 イシハラ, ハジメ
Publication Date
1997-2000
Publication Date (W3CDTF)
1997
Extent
Additional Title
研究種目 基盤研究(C)
Subject Heading
構成的数学 コウセイテキスウガク
実現可能性解釈 ジツゲンカノウセイカイシヤク
部分帰納的関数 ブブンキノウテキカンスウ