Subrecursive hierarchies and provably computable functions in formal theories of arithmetic
インターネットで読む
すぐに読む
国立国会図書館デジタルコレクション
書店で探す
障害者向け資料で読む
目次
CONTENTS
CHAPTER1 INTRODUCTION
p1
CHAPTER2 SUBRECURSIVE HIERARCHIES AND FORMAL THEORIES
p8
2.1 Fast-growing hierarchy
p8
2.2 Provable computability
p13
書店で探す
障害者向け資料で読む
- みなサーチ
- プレーンテキスト
みなサーチに登録・ログインで利用できます
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- 角田法也 [著]
- 著者標目
- 角田, 法也 カドタ, ノリヤ
- 並列タイトル等
- 帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数 キノウテキ カンスウ ノ ブブン カイソウ ト スウロン ノ ケイシキ リロン デ ノ ショウメイ カノウナ ケイサン カノウ カンスウ
- 授与機関名
- 広島大学
- 授与年月日
- 平成4年3月16日
- 授与年月日（W3CDTF）
- 1992
- 報告番号
- 乙第2254号
- 学位
- 学術博士