| 書誌情報 | ファイル |
|---|
表紙・目次
(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
| |
