Proof-theoretic investigations of iterated hyperjumps by Takeuti’s reduction method 竹内の還元法による繰り返されたハイパージャンプの証明論的研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Proof-theoretic investigations of iterated hyperjumps by Takeuti’s reduction method
- Other Title
-
竹内の還元法による繰り返されたハイパージャンプの証明論的研究
- Author
-
新井, 敏康
- Author(Another name)
-
アライ, トシヤス
- University
-
筑波大学
- Types of degree
-
理学博士
- Grant ID
-
博甲第428号
- Degree year
-
1987-03-25
Note and Description
博士論文
1986
【要旨】
Table of Contents
- 目次 (5コマ目)