コレクションホームページ
1096 2階算術の諸体系の研究
8
1096 2階算術の諸体系の研究
8
(http://hdl.handle.net/2433/61397)
ブラウズ
文献一覧（目次の昇順ソート）: 1 - 8 / 8
| 書誌情報 | ファイル |
|---|---|
| 表紙・目次 (1999-04) 数理解析研究所講究録, 1096 |  |
| LKの証明図に関する標準型定理 (2階算術の諸体系の研究) 池田, 一麿 (1999-04) 数理解析研究所講究録, 1096: 1-14 | |
| $ATR_0$のモデル論的Ordinal Analysis (2階算術の諸体系の研究) 高橋, 康博 (1999-04) 数理解析研究所講究録, 1096: 15-24 | |
| Reverse Mathematics and weak second-order systems of 0-1 strings Yamazaki, Takeshi (1999-04) 数理解析研究所講究録, 1096: 25-34 | |
| COMPLEXITY THEORY AND BOUNDED ARITHMETIC FOR TRULY FEASIBLE COMPUTATION Kuroda, Satoru (1999-04) 数理解析研究所講究録, 1096: 35-50 | |
| Lagrange-Good Inversion from Trace Hasegawa, Ryu (1999-04) 数理解析研究所講究録, 1096: 51-67 | |
| A Study of Abramsky's Linear Chemical Abstract Machine Mikami, Seikoh; Akama, Yohji (1999-04) 数理解析研究所講究録, 1096: 68-83 | |
| 2階算術と有界選択公理 (2階算術の諸体系の研究) 田中, 一之; 山崎, 武 (1999-04) 数理解析研究所講究録, 1096: 84-88 | |
文献一覧（目次の昇順ソート）: 1 - 8 / 8
