コレクションホームページ
0669 二階算術の証明論
5
0669 二階算術の証明論
5
(http://hdl.handle.net/2433/98218)
ブラウズ
文献一覧（目次の昇順ソート）: 1 - 5 / 5
| 書誌情報 | ファイル |
|---|---|
| 表紙・目次 (1988-08) 数理解析研究所講究録, 669 |  |
| AI$^-_\xi$ の周辺の理論とその証明論的順序数(二階算術の証明論) 志村, 立矢 (1988-08) 数理解析研究所講究録, 669: 1-15 | |
| Cut-elimination for SBL 新井, 敏康 (1988-08) 数理解析研究所講究録, 669: 16-43 | |
| Fixed Point Theory in Weak Second-Order Arithmetic SHIOJI, NAOKI; TANAKA, KAZUYUKI (1988-08) 数理解析研究所講究録, 669: 44-77 | |
| Fundamental sequence の system の性質について(二階算術の証明論) 角田, 法也 (1988-08) 数理解析研究所講究録, 669: 78-108 | |
文献一覧（目次の昇順ソート）: 1 - 5 / 5
