書誌情報	ファイル
表紙・目次    (1995-05)   数理解析研究所講究録, 912
CR of a reduction for classical natural deduction(Mathematical Incompleteness in Arithmetic)   ANDOU, Yuuki (1995-05)   数理解析研究所講究録, 912: 1-21
On the Difficulty of Writing Out Formal Proofs in PRA(Mathematical Incompleteness in Arithmetic)   Kashima, Ryo (1995-05)   数理解析研究所講究録, 912: 22-32
Kolmogorov complexity and the second incompleteness theorem(Mathematical Incompleteness in Arithmetic)   KIKUCHI, MAKOTO (1995-05)   数理解析研究所講究録, 912: 33-42
数学基礎論入門 : 紹介シリーズ刊行計画について(算術諸体系の不完全性の研究)   倉田, 令二朗 (1995-05)   数理解析研究所講究録, 912: 43-46
FORCING ON A NONSTANDARD MODEL OF ARITHMETIC(Mathematical Incompleteness in Arithmetic)   KURODA, SATORU (1995-05)   数理解析研究所講究録, 912: 47-56
A non-standard proof of the Peano existence theorem in WKL$_0$(Mathematical Incompleteness in Arithmetic)   Tanaka, Kazuyuki (1995-05)   数理解析研究所講究録, 912: 57-63
A Relationship among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game, and Buchholz's Hydra Game(Preliminary Report)(Mathematical Incompleteness in Arithmetic)   Hamano, Masahiro; Okada, Mitsuhiro (1995-05)   数理解析研究所講究録, 912: 64-81
A FORMULA SEPARATING TWO THEORIES(Mathematical Incompleteness in Arithmetic)   Yamaguchi, Takeshi (1995-05)   数理解析研究所講究録, 912: 82-84