書誌情報	ファイル
表紙・目次    (1973-06)   数理解析研究所講究録, 180
GeneralizedスライスとFinite Model Property (数理論理とモデル理論)   古森, 雄一 (1973-06)   数理解析研究所講究録, 180: 1-9
2個の生成元を持つFree IN-Algebra及びFree ICN-Algebraの決定 (数理論理とモデル理論)   佐藤, 雅彦 (1973-06)   数理解析研究所講究録, 180: 10-19
Combinatory Logicについて (数理論理とモデル理論)   細井, 勉 (1973-06)   数理解析研究所講究録, 180: 20-29
Boole代数値実数論 (数理論理とモデル理論)   難波, 完爾 (1973-06)   数理解析研究所講究録, 180: 30-38
Arithmetically Definable Analysis (数理論理とモデル理論)   YASUGI, MARIKO (1973-06)   数理解析研究所講究録, 180: 39-51
Algebraic Kripke Model (数理論理とモデル理論)   永井, 覚 (1973-06)   数理解析研究所講究録, 180: 52-59
N-Tournamentの定義可能性と量記号の消去 (数理論理とモデル理論)   本橋, 信義 (1973-06)   数理解析研究所講究録, 180: 60-64
直観主義述語論理におけるSkolem Functionについて (数理論理とモデル理論)   白井, 古希男 (1973-06)   数理解析研究所講究録, 180: 65-74
Consistency Proof for Arithmetic in All Finite Types (数理論理とモデル理論)   花谷, 圭人 (1973-06)   数理解析研究所講究録, 180: 75-89