Proof-theoretic investigations of iterated hyperjumps by Takeuti’s reduction method
Available with Digitized Contents Transmission Service
Find on the publisher's website
NDL Digital Collections
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
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.
- Material Type
- 博士論文
- Author/Editor
- 新井敏康 [著]
- Author Heading
- 新井, 敏康 アライ, トシヤス
- Alternative Title
- 竹内の還元法による繰り返されたハイパージャンプの証明論的研究 タケウチ ノ カンゲンホウ ニ ヨル クリカエサレタ ハイパージャンプ ノ ショウメイロンテキ ケンキュウ
- Degree Grantor
- 筑波大学
- Date Granted
- 昭和62年3月25日
- Date Granted (W3CDTF)
- 1987
- Dissertation Number
- 博甲第428号
- Degree Type
- 理学博士
- Note (Dissertation)
- 博士論文
- Place of Publication (Country Code)
- JP
- Note (General)
- 博士論文
- Holding library
- 国立国会図書館
- Call No.
- UT51-89-R237
- Data Provider (Database)
- 国立国会図書館 : 国立国会図書館蔵書
- Bibliographic ID (NDL)
- 000000223236
- Bibliographic Record Category (NDL)
- 213
- DOI
- 10.11501/11568093
- Persistent ID (NDL)
- info:ndljp/pid/11568093
- Collection
- Collection (Materials For Handicapped People:1)
- Collection (Materials For Handicapped People:2)
- Collection (particular)
- 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
- Producer
- 国立国会図書館
- Production year (W3CDTF)
- 2021-03-17
- Available (W3CDTF)
- 2021-07-27
- Date Accepted (W3CDTF)
- 2020-11-04T09:35:37+09:00
- Format (IMT)
- image/jp2
- Access Restrictions
- 国立国会図書館内限定公開
- Service for the Digitized Contents Transmission Service
- 図書館・個人送信対象
- Availability of remote photoduplication service
- 可
- Call No.
- UT51-89-R237
- Data Provider (Database)
- 国立国会図書館 : 国立国会図書館デジタルコレクション