出版社内容情報
これから数理論理学を学ぼうとする人のためのテキスト。題材を絞り，例を豊富にして，理系はもちろんのこと，哲学・法学などを専攻する文系の学生をも対象に平易に解説。〔内容〕推論の形式／述語論理計算／演繹式計算／決定手続き／他
【目次】
1. 推論の形式
1.1 意味と記号
1.2 推論
1.3 推論（続き）
2. 述語論理計算
2.1 一階述語言語
2.2 推論図の厳密な定義
2.3 論理的同値
2.4 健全性定理と完全性定理
3. 演繹式計算
3.1 演繹式計算
3.2 ゲンツェンの体系
3.3 ゲンツェンの基本定理
4. 決定手続き
4.1 決定手続き（ウォンのアルゴリズム）
4.2 真理値
4.3 命題論理式の標準形
4.4 導出原理
4.5 エルブランの定理
4.6 スコーレム関数
5. 索 引
目次
第１章 推論の形式
第２章 述語論理計算
第３章 演繹式計算
第４章 決定手続き
