Jump to main content

博士論文

Proof-theoretic investigations of iterated hyperjumps by Takeuti’s reduction method

Icons representing 博士論文
The cover of this title could differ from library to library.

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.

Become an official registered user >

Log in >

Proof-theoretic investigations of iterated hyperjumps by Takeuti’s reduction method

Call No. (NDL)
UT51-89-R237
Bibliographic ID of National Diet Library
000000223236
Persistent ID (NDL)
info:ndljp/pid/11568093
Material type
博士論文
Author
新井敏康 [著]
Publisher
-
Date granted
昭和62年3月25日
Material Format
Paper・Digital
Capacity, size, etc.
-
Degree grantor and degree
筑波大学,理学博士
View All

Notes on use

Note (General)：

博士論文

Search by Bookstore

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Search by Bookstore

Read in Disability Resources

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 Digital

Material Type
博士論文
Title
Proof-theoretic investigations of iterated hyperjumps by Takeuti’s reduction method
Author/Editor
新井敏康 [著]
Author Heading
新井, 敏康 アライ, トシヤス
Alternative Title
竹内の還元法による繰り返されたハイパージャンプの証明論的研究 タケウチ ノ カンゲンホウ ニ ヨル クリカエサレタ ハイパージャンプ ノ ショウメイロンテキ ケンキュウ
Degree Grantor
筑波大学
Date Granted
昭和62年3月25日
Date Granted (W3CDTF)
1987
Dissertation Number
博甲第428号
Degree Type
理学博士