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