博士論文
書影書影

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

博士論文を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

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

国立国会図書館請求記号
UT51-89-R237
国立国会図書館書誌ID
000000223236
国立国会図書館永続的識別子
info:ndljp/pid/11568093
資料種別
博士論文
著者
新井敏康 [著]
出版者
-
出版年
-
資料形態
紙・デジタル
ページ数・大きさ等
-
授与大学名・学位
筑波大学,理学博士
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
博士論文
著者・編者
新井敏康 [著]
著者標目
新井, 敏康 アライ, トシヤス
並列タイトル等
竹内の還元法による繰り返されたハイパージャンプの証明論的研究 タケウチ ノ カンゲンホウ ニ ヨル クリカエサレタ ハイパージャンプ ノ ショウメイロンテキ ケンキュウ
授与機関名
筑波大学
授与年月日
昭和62年3月25日
授与年月日(W3CDTF)
1987
報告番号
博甲第428号
学位
理学博士