記号論理学
A5判 192ページ
価格:2,420円 (消費税:220円)
ISBN978-4-13-012018-0(4-13-012018-2) C301
奥付の初版発行年月:1984年11月
価格:2,420円 (消費税:220円)
ISBN978-4-13-012018-0(4-13-012018-2) C301
奥付の初版発行年月:1984年11月
内容紹介
論理学の初級コースの内容を平易に説く.まず命題論理と述語論理をわかりやすく述べ,完全性定理やブール代数を加えて,中級コースの種々の議論への橋渡しとする.コンパクトな中にも,とくに理科の学生や専門課程へつながる様々な工夫がこらされている.
目次
序
第1章 命題論理
第2章 述語論理
第3章 公理系
第4章 完全性定理
第5章 ブール代数と論理
付録 不完全性定理とその証明の構想
参考書
主な記号一覧
索引