Amazon.co.jpで購入する

情報科学書籍一覧　目次

論理学

ISBN4-13-012053-0　　東京大学出版会

野矢　茂樹　著

A5判　　261ページ　　本体価格\2.600　　1994年2月発売

[内容]

初心者の素朴な疑問と驚きに満ちた、ずぶの素人のための現代論理学への初めの一歩。現代論理学という不思議の国への、ちょっとハードな観光旅行のような1冊。読者に問いかけ、読者に答える問答形式。

[目次]

序論 論理と言語
第1章 命題論理
第2章 述語論理
第3章 パラドクス・形式主義・メタ論理
第4章 直観主義論理
第5章 不完全性定理
付録 命題論理の公理系LPの定理の証明