大学出版部協会

 

記号論理学

記号論理学

A5判 192ページ
価格:2,200円+税
ISBN978-4-13-012018-0(4-13-012018-2) C301
奥付の初版発行年月:1984年11月

内容紹介

論理学の初級コースの内容を平易に説く.まず命題論理と述語論理をわかりやすく述べ,完全性定理やブール代数を加えて,中級コースの種々の議論への橋渡しとする.コンパクトな中にも,とくに理科の学生や専門課程へつながる様々な工夫がこらされている.


目次


第1章 命題論理
第2章 述語論理
第3章 公理系
第4章 完全性定理
第5章 ブール代数と論理
付録 不完全性定理とその証明の構想
参考書
主な記号一覧
索引


一般社団法人 大学出版部協会 Phone 03-3511-2091 〒102-0073 東京都千代田区九段北1丁目14番13号 メゾン萬六403号室
このサイトにはどなたでも自由にリンクできます。掲載さ>れている文章・写真・イラストの著作権は、それぞれの著作者にあります。
当協会 スタッフによるもの、上記以外のものの著作権は一般社団法人大学出版部協会にあります 。