コレクションホームページ
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