帰納的関数論の総合的研究

Notes on use

Search by Bookstore

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

Material Type: 図書
Title: 帰納的関数論の総合的研究
Title Transcription: キノウテキカンスウロンノソウゴウテキケンキュウ
Author/Editor: 篠田, 壽一, 名古屋大学
Author Heading: 篠田, 壽一シノダ, ジュイチ
Publication Date: 1994-1995
Publication Date (W3CDTF): 1994
Extent: 冊
Additional Title: 研究種目総合研究(A)
Subject Heading: 帰納的関数キノウテキカンスウ
計算量ケイサンリヨウ
ブール値モデルブールチモデル
公理的集合論コウリテキシユウゴウロン
超準解析チヨウジユンカイセキ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 06302014
Holding library: 国立国会図書館
Call No.: Y151-H06302014
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006995396
http://id.ndl.go.jp/bib/000006995396
Bibliographic Record Category (NDL): 214