現代数理論理学序説
古森 雄一, 小野 寛晰 著
内容
目次
第1章 命題論理(論理学と形式的体系 命題論理の体系 ゲンツェンの基本定理 古典命題論理の意味論) 第2章 述語論理(述語論理の体系 ゲンツェンの基本定理 古典述語論理の意味論) 第3章 ラムダ計算の世界(ラムダ計算の計算能力 ラムダ項の型付けとη変形) 第4章 非標準論理(直観主義論理 論理と代数 様相論理 部分構造論理)