コレクションホームページ

1635 証明論と論理・計算の構造   12
(http://hdl.handle.net/2433/139652)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 12 / 12
書誌情報ファイル
表紙・目次
   (2009-04)
  数理解析研究所講究録, 1635
file type icon
An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $\Pi^1_1$-Analysis with $\omega$-rule (Proof theoretical study of the structure of logic and computation)
  Akiyoshi, Ryota (2009-04)
  数理解析研究所講究録, 1635: 1-12
file type icon
Normal form theorem of natural deduction for modal logic S4 (Proof theoretical study of the structure of logic and computation)
  ANDOU, Yuuki (2009-04)
  数理解析研究所講究録, 1635: 13-15
file type icon
組合せ子$O$の非基礎ループ性 (証明論と論理・計算の構造)
  岩見, 宗弘 (2009-04)
  数理解析研究所講究録, 1635: 16-22
file type icon
ランダムなビット列における連 (証明論と論理・計算の構造)
  川村, 保敬, 鈴木, 登志雄 (2009-04)
  数理解析研究所講究録, 1635: 23-32
file type icon
On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation)
  Kikuchi, Kentaro (2009-04)
  数理解析研究所講究録, 1635: 33-50
file type icon
逆再帰理論と逆数学に関して (証明論と論理・計算の構造)
  木原, 貴行 (2009-04)
  数理解析研究所講究録, 1635: 51-59
file type icon
完備半順序集合の層に関する双極限の構成 (証明論と論理・計算の構造)
  倉田, 俊彦 (2009-04)
  数理解析研究所講究録, 1635: 60-76
file type icon
Towards affluent proof theory of LOGCFL and related topics (Proof theoretical study of the structure of logic and computation)
  Kuroda, Satoru (2009-04)
  数理解析研究所講究録, 1635: 77-85
file type icon
Fragments of Second Order Propositional Logic (Proof theoretical study of the structure of logic and computation)
  Sakagawa, Wataru, Kashima, Ryo (2009-04)
  数理解析研究所講究録, 1635: 86-102
file type icon
Equivalent characterizations of partial randomness for a recursively enumerable real (Proof theoretical study of the structure of logic and computation)
  Tadaki, Kohtaro (2009-04)
  数理解析研究所講究録, 1635: 103-120
file type icon
Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition (Proof theoretical study of the structure of logic and computation)
  Nemoto, Takako (2009-04)
  数理解析研究所講究録, 1635: 121-133
file type icon
文献一覧(目次の昇順ソート): 1 - 12 / 12