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