証明を対象にするとは
自然演繹
論理式の真理値
自然演繹の健全性
自然演繹の完全性
不完全性定理
命題論理
さまざまな証明体系
シークエント計算ＬＫのカット除去
直観主義論理
クリプキモデルと中間論理
本文中で使われている数学的道具の説明

数理論理学の基本結果をわかりやすく正確に説明しながら，その意義や気持ちを伝える入門書。