書誌情報	ファイル
表紙・目次    (2009-04)   数理解析研究所講究録, 1635
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
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
組合せ子$O$の非基礎ループ性 (証明論と論理・計算の構造)   岩見, 宗弘 (2009-04)   数理解析研究所講究録, 1635: 16-22
ランダムなビット列における連 (証明論と論理・計算の構造)   川村, 保敬; 鈴木, 登志雄 (2009-04)   数理解析研究所講究録, 1635: 23-32
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
逆再帰理論と逆数学に関して (証明論と論理・計算の構造)   木原, 貴行 (2009-04)   数理解析研究所講究録, 1635: 51-59
完備半順序集合の層に関する双極限の構成 (証明論と論理・計算の構造)   倉田, 俊彦 (2009-04)   数理解析研究所講究録, 1635: 60-76
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
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
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
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