目次
第１部 真理関数論（第１章 論理記号の説明；第２章 日常的言明の記号化；第３章 真理の定義と真理関数；第４章 真理値分析とｔａｕｔｏｌｏｇｙ；第５章 各種の妥当な推論；第６章 双対原理とその証明；第７章 連言標準形と選言標準形；第８章 証明の形式化（Ｇｅｎｔｚｅｎ ｔｙｐｅ ｓｙｓｔｅｍ ＬＫ＊）
第９章 証明の方法
第１０章 基本定理とその証明
第１１章 整合性と完全性
第１２章 決定問題とその解決）
第２部 量化理論（第１３章 量記号の導入と言明の内部構造の解明；第１４章 基本的諸概念；第１５章 日常的言明の記号化；第１６章 真理の定義と妥当式；第１７章 妥当な量的推論；第１８章 双対原理とその証明；第１９章 Ｐｒｅｎｅｘ ｎｏｒｍａｌ ｆｏｒｍ；第２０章 Ｓｋｏｌｅｍ ｎｏｒｍａｌ ｆｏｒｍ；第２１章 証明の形式化（Ｇｅｎｔｚｅｎ ｔｙｐｅ ｓｙｓｔｅｍ ＬＫ）
第２２章 証明の方法
第２３章 三段論法の証明
第２４章 基本定理とその証明
第２５章 ＬＫの整合性と完全性
補遺 完全性定理）
-
- 和書
- 光エレクトロニクスの基礎
