2階算術の諸体系の研究 : 短期共同研究
著者
書誌事項
2階算術の諸体系の研究 : 短期共同研究
（数理解析研究所講究録, 1096）
京都大学数理解析研究所, 1999.4
- タイトル読み
-
2カイ サンジュツ ノ ショタイケイ ノ ケンキュウ : タンキ キョウドウ ケンキュウ
大学図書館所蔵 全3件
この図書・雑誌をさがす
注記
短期共同研究「2階算術の諸体系の研究」報告集: 1999年1月11日-1月14日, 研究代表者:田中一之
参考文献あり
収録内容
- LKの証明図に関する標準型定理 / 池田一磨
- ATR[[0]のモデル論的ordinal analysis / 高橋康博
- Reverse mathematics and weak second-order systems of 0-1 strings / 山崎武
- Complesity theory and bounded arithmetic for truly feasible computation / 黒田覚
- Lagrange-Good inversion from trace / 長谷川立
- A study of Abramsky's linear chemical abstract machine / 三上清光, 赤間陽二
- 2階算術と有界選択公理 / 田中一之, 山崎武