コレクションホームページ
0086 Proof TheoryとRecursion Theory研究会報告集
7
0086 Proof TheoryとRecursion Theory研究会報告集
7
(http://hdl.handle.net/2433/100427)
ブラウズ
文献一覧（目次の昇順ソート）: 1 - 7 / 7
| 書誌情報 | ファイル |
|---|---|
| 表紙・目次 (1970-04) 数理解析研究所講究録, 86 |  |
| Diophantine PredicateのRecursive Degreeについて (Proof theoryとRecursion theory研究会報告集) 広瀬, 健 (1970-04) 数理解析研究所講究録, 86: 1-12 | |
| Generalized Recursion Theory (Proof theoryとRecursion theory研究会報告集) 高橋, 元男 (1970-04) 数理解析研究所講究録, 86: 13-26 | |
| Selivanowskiの定理について (Proof theoryとRecursion theory研究会報告集) 田中, 尚夫 (1970-04) 数理解析研究所講究録, 86: 27-40 | |
| Metarecursion TheoryにおけるSacksの問題について (Proof theoryとRecursion theory研究会報告集) 大橋, 健八郎 (1970-04) 数理解析研究所講究録, 86: 41-51 | |
| Constructive Infinitely Long ExpressionsをもったLogicのHierarchy (Proof theoryとRecursion theory研究会報告集) 上江州, 忠弘 (1970-04) 数理解析研究所講究録, 86: 52-62 | |
| MontagueのHierarchyと順序数上のRecursive Functionについて (Proof theoryとRecursion theory研究会報告集) 福山, 克 (1970-04) 数理解析研究所講究録, 86: 63-81 | |
文献一覧（目次の昇順ソート）: 1 - 7 / 7
