Collection home page

0847 証明論と逆数学   9
(http://hdl.handle.net/2433/81951)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 9 of 9
BibliographyContents
表紙・目次
   (1993-08)
  数理解析研究所講究録, 847
file type icon
A NORMALIZATION-PROCEDURE FOR THE FIRST ORDER CLASSICAL NATURAL DEDUCTION WITH FULL LOGICAL SYMBOLS
  ANDOU, YUUKI (1993-08)
  数理解析研究所講究録, 847: 1-9
file type icon
Contraction-Elimination Theorem
  Kashima, Ryo (1993-08)
  数理解析研究所講究録, 847: 10-34
file type icon
Subrecursion theory における dilation について(証明論と逆数学)
  角田, 法也 (1993-08)
  数理解析研究所講究録, 847: 35-55
file type icon
Berry's paradox and the incompleteness theorem
  菊池, 誠 (1993-08)
  数理解析研究所講究録, 847: 56-60
file type icon
PA 上の non-principal prime filter quantifier の強さについて(証明論と逆数学)
  志村, 立矢 (1993-08)
  数理解析研究所講究録, 847: 61-67
file type icon
Large Set Principles and Well-founded Principles
  SHIMODA, Mamoru (1993-08)
  数理解析研究所講究録, 847: 68-77
file type icon
切断除去による計算可能性の証明(証明論と逆数学)
  竹内, 泉 (1993-08)
  数理解析研究所講究録, 847: 78-93
file type icon
2階算術の諸体系:モデル論的手法による分析 その2(証明論と逆数学)
  田中, 一之 (1993-08)
  数理解析研究所講究録, 847: 94-106
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 9 of 9