タイトル：論理学の基礎と演習〈CD-ROM付〉

　ジョン・バーワイズ Jon Barwise 著
　ジョン・エチメンディ John Etchemendy 著
　大沢 秀介 訳
　白旗 優 訳
　中川 大 訳
　中戸川 孝治 訳
　橋本 康二 訳

---

・B5変型判／並製／768頁
・初版年月日：2006/09/30
・ISBN：4-7664-1313-X
・Cコード：C3010
・定価：10,290円 （本体：9,800円）

---

視覚で理解する画期的論理学テキスト、ついに翻訳刊行。

▼ゲーム感覚で学べる、スタンフォード大学 CSLI 論理学テキスト
　 Language, Proof and Logic の翻訳書。付属のCD-ROM（Tarski's World）
　は1997年Educom Medalを受賞しています。
▼テキストは、初歩の命題論理からゲーデルの不完全性定理に至るまで、
　幅広く説明され、Tarski's Worldで、立体図形を感覚的に操作しながら、
　論理学の基本概念を学びます。
▼膨大な数の練習問題を収録し、その解答はインターネットを利用して
　自動的に採点されます。

― 目次 ―
・日本語版訳者による序言
・謝辞
・序論
第I 部　命題論理
　第1 章　原子文
　第2 章　原子文の論理
　第3 章　ブール結合子
　第4 章　ブール結合子の論理
　第5 章　ブール論理の証明方法
　第6 章　形式的証明とブール論理
　第7 章　条件文
　第8 章　条件文の論理


第II 部　限量子
　第9 章　限量入門
　第10 章　限量子の論理
　第11 章　複数の限量子
　第12 章　限量子についての証明の方法
　第13 章　形式的証明と限量子
　第14 章　限量子についての補足（オプション）


第III 部応用とメタ理論
　第15 章一階集合論
　第16 章　数学的帰納法
　第17 章　命題論理の更に進んだ話題
　第18 章　FOL の更に進んだ話題
　第19 章　完全性と不完全性


・形式的証明規則の要約
・用語解説


ソフトウェア・マニュアル
　1 はじめに
　2 Submit を使う
　3 Tarski’s World を使う
　4 Fitch を使う
　5 Boole を使う

・一般索引
・練習問題ファイル索引
・マニュアル索引