コレクションホームページ
0180 数理論理とモデル理論
10
0180 数理論理とモデル理論
10
(http://hdl.handle.net/2433/100771)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 10 / 10
書誌情報 | ファイル |
---|---|
表紙・目次 (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 |
文献一覧(目次の昇順ソート): 1 - 10 / 10