記号論理学―その展望と限界をさぐる

ジェフリー，リチャード【著】〈Ｊｅｆｆｒｅｙ，Ｒｉｃｈａｒｄ〉/戸田山 和久【訳】

マグロウヒル出版（1992/12発売）

• サイズ A5判／ページ数 224p／高さ 21X15cm
• 商品コード 9784895014373
• NDC分類 116.3
• Cコード C3041

内容説明

本書は、初心者向けに書かれた記号論理学書で、命題論理から、ゲーデルの不完全性定理やチャーチ＝チューリングの定理等までを取り扱っています。

目次

第１章　真理関数的論理
第２章　真理の木
第３章　一般性
第４章　重なりあった一般性
第５章　同一性
第６章　関数
第７章　計算不可能性
第８章　決定不可能性
第９章　不完全性