詳細な目次はこちらから
日本語版訳者による序言
謝辞
序論
　
第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 を使う

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