書誌情報 | ファイル |
表紙・目次 (1997-02) 数理解析研究所講究録, 976
| |
Bounded Arithmetic vs. Propositional Calculus Arai, Noriko H. (1997-02) 数理解析研究所講究録, 976: 1-12
| |
NDKにおける自然な証明についての考察(証明論における順序数) 八杉, 満利子; 中田, 昌宏 (1997-02) 数理解析研究所講究録, 976: 13-26
| |
COUNTING SMALL SETS IN WEAK BOUNDED ARITHMETIC KUROTA, SATORU (1997-02) 数理解析研究所講究録, 976: 27-33
| |
On Buss and Turan's extensions of Haken's results KIKUCHI, MAKOTO (1997-02) 数理解析研究所講究録, 976: 34-37
| |
Normal forms for derivations in Arai's AI$_\xi^-$ Ikeda, Kazuma (1997-02) 数理解析研究所講究録, 976: 38-54
| |
Characterization Theorems for Multiplicative Fragment of Intuitionistic Non-Commutative Linear Logic : Preliminary Report NAGAYAMA, Misao; OKADA, Mitsuhiro (1997-02) 数理解析研究所講究録, 976: 55-69
| |
A system of $\lambda\mu$ - calculus proper to the implicational fragment of classical natural deduction with one conclusion ANDOU, Yuuki (1997-02) 数理解析研究所講究録, 976: 70-76
| |
2階算術の諸体系 : モデル論的手法による分析 その3(証明論における順序数) 田中, 一之 (1997-02) 数理解析研究所講究録, 976: 77-85
| |
II$_\infty^0$-BCT の保存性について(証明論における順序数) 山崎, 武 (1997-02) 数理解析研究所講究録, 976: 86-96
| |
From the Attic Arai, Toshiyasu (1997-02) 数理解析研究所講究録, 976: 97-124
| |
Consistency Proof via Pointwise Induction Arai, Toshiyasu (1997-02) 数理解析研究所講究録, 976: 125-134
| |
Introducing the Hardline in Proof Theory Arai, Toshiyasu (1997-02) 数理解析研究所講究録, 976: 135-145
| |
Semantic Characterizations for Reachability and Trace Equivalence in a Linear Logic-Based Process Calculus : Preliminary Report Okada, Mitsuhiro; Terui, Kazushige (1997-02) 数理解析研究所講究録, 976: 146-168
| |
A Hierarchy of the Fragments of the System of Inductive Definition : Preliminary Report Hamano, Masahiro; Okada, Mitsuhiro (1997-02) 数理解析研究所講究録, 976: 169-181
| |