内容情報
[BOOKデータベースより]
[BOOKデータベースより]
第１部 命題論理の構文論
第２部 命題論理の意味論
第３部 メタ論理
第４部 述語論理の構文論
第５部 反証図
第６部 述語論理の意味論
第７部 応用と実践
第８部 完全性定理
第９部 健全性定理
第１０部 不完全性定理
付録
文系学生のために初歩からていねいに説き起こして不完全性定理にまで至る記号論理学の入門書．〔内容〕対象言語とメタ言語／命題論理の文法／真理関数と真理表／トートロジー／二値原理／述語論理の文法／ペアノ公理系／他
この商品をご覧のお客様は、こんな商品もチェックしています。
- Ｐｙｔｈｏｎで学ぶ線形代数学 第２版
-
価格：3,960円（本体3,600円＋税）
【2024年11月発売】
- 偏微分方程式入門
-
価格：3,740円（本体3,400円＋税）
【1998年02月発売】
- カオスの紡ぐ夢の中で
-
価格：726円（本体660円＋税）
【2010年05月発売】
のマークが目印です。
