1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-7 / 7.
  • 前
  • 1
  • 次
検索結果:
書誌情報ファイル
Generalized Recursion Theory (Proof theoryとRecursion theory研究会報告集)
  高橋, 元男 (1970-04)
  数理解析研究所講究録, 86: 13-26
file type icon 
Constructive Infinitely Long ExpressionsをもったLogicのHierarchy (Proof theoryとRecursion theory研究会報告集)
  上江州, 忠弘 (1970-04)
  数理解析研究所講究録, 86: 52-62
file type icon 
MontagueのHierarchyと順序数上のRecursive Functionについて (Proof theoryとRecursion theory研究会報告集)
  福山, 克 (1970-04)
  数理解析研究所講究録, 86: 63-81
file type icon 
Metarecursion TheoryにおけるSacksの問題について (Proof theoryとRecursion theory研究会報告集)
  大橋, 健八郎 (1970-04)
  数理解析研究所講究録, 86: 41-51
file type icon 
Diophantine PredicateのRecursive Degreeについて (Proof theoryとRecursion theory研究会報告集)
  広瀬, 健 (1970-04)
  数理解析研究所講究録, 86: 1-12
file type icon 
Selivanowskiの定理について (Proof theoryとRecursion theory研究会報告集)
  田中, 尚夫 (1970-04)
  数理解析研究所講究録, 86: 27-40
file type icon 
表紙・目次
   (1970-04)
  数理解析研究所講究録, 86
file type icon 

絞り込み