Proof-theoretic investigations of iterated hyperjumps by Takeuti’s reduction method 竹内の還元法による繰り返されたハイパージャンプの証明論的研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Proof-theoretic investigations of iterated hyperjumps by Takeuti’s reduction method
- タイトル別名
-
竹内の還元法による繰り返されたハイパージャンプの証明論的研究
- 著者名
-
新井, 敏康
- 著者別名
-
アライ, トシヤス
- 学位授与大学
-
筑波大学
- 取得学位
-
理学博士
- 学位授与番号
-
博甲第428号
- 学位授与年月日
-
1987-03-25
注記・抄録
博士論文
1986
【要旨】
目次
- 目次 (5コマ目)