- 著者：前原昭二
- 発売日：2010-09-23
- 出版社：共立出版
内容
- （ここには本の中で説明されている内容を記述します）
- Ｉ.命題論理
- §1.真理関数
- §2.Boole代数
- §3.真理関数の標準形
- §4.Tautology
- §5.擬順序集合
- §6.直観主義の論理
- §7.古典論理
- §8.Sequent
- §9.命題計算
- §10.命題計算の完全性
- ＩＩ.述語論理
- §1.命題関数
- §2.超限的命題
- §3.数学的理論における命題の形式的表現
- §4.述語論理
- §5.述語計算
- §6.数学的理論の形式化
- 練習問題の解答およびヒント
特徴
- （文体や説明形式、他の本の中ではあまり説明していないトピックなどを記述します）
レベル
- （読むために必要となる前提知識を記述します）
関連する景勝地や講堂
- （もしあれば記述し、該当景勝地や講堂ページへリンクします）