書誌情報	ファイル
表紙・目次    (2005-07)   数理解析研究所講究録, 1442
竹内の基本予想とは何か、何であるべきか : 50年に (証明論と計算論)   新井, 敏康 (2005-07)   数理解析研究所講究録, 1442: 1-7
手描き曲線からの乱数抽出とそのセマンティクス : 中間報告 (証明論と計算論)   川西, 暁夫; 鈴木, 登志雄 (2005-07)   数理解析研究所講究録, 1442: 8-41
Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory)   Kumabe, Masahiro; Suzuki, Toshio; Yamazaki, Takeshi (2005-07)   数理解析研究所講究録, 1442: 42-47
DENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory)   Kurata, Toshihiko (2005-07)   数理解析研究所講究録, 1442: 48-67
Logical Characterizations of LOGSPACE (Proof Theory and Computation Theory)   Kuroda, Satoru (2005-07)   数理解析研究所講究録, 1442: 68-75
並列合成の論理演算を持つ論理体系 (証明論と計算論)   竹内, 泉 (2005-07)   数理解析研究所講究録, 1442: 76-82
Which Structural Rules Admit Cut Elimination? : An Algebraic Criterion : Excerpt (Proof Theory and Computation Theory)   Terui, Kazushige (2005-07)   数理解析研究所講究録, 1442: 83-96
A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory)   Fujita, Ken-etsu; Hasegawa, Masahito (2005-07)   数理解析研究所講究録, 1442: 97-114
Infinite games and set existence axioms (Proof Theory and Computation Theory)   MedSalem, MedYahya Ould; Tanaka, Kazuyuki (2005-07)   数理解析研究所講究録, 1442: 115-121
Differential Calculus in Second Order Arithmetic (Proof Theory and Computation Theory)   Yokoyama, Keita (2005-07)   数理解析研究所講究録, 1442: 122-148