Collection home page

Proof Theory in Second-Order Arithmetic   5
(http://hdl.handle.net/2433/98218)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 5 of 5
BibliographyContents
表紙・目次
   (1988-08)
  数理解析研究所講究録, 669
file type icon
AI$^-_\xi$ の周辺の理論とその証明論的順序数(二階算術の証明論)
  志村, 立矢 (1988-08)
  数理解析研究所講究録, 669: 1-15
file type icon
Cut-elimination for SBL
  新井, 敏康 (1988-08)
  数理解析研究所講究録, 669: 16-43
file type icon
Fixed Point Theory in Weak Second-Order Arithmetic
  SHIOJI, NAOKI, TANAKA, KAZUYUKI (1988-08)
  数理解析研究所講究録, 669: 44-77
file type icon
Fundamental sequence の system の性質について(二階算術の証明論)
  角田, 法也 (1988-08)
  数理解析研究所講究録, 669: 78-108
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 5 of 5