●目次
第１章　命題論理
　１　形式化ということ
　２　命題と論理式
　３　論理式と真偽
　４　論理的に同値な論理式
　５　標準形
　６　形式体系における証明
　７　トートロジーと証明可能性
　８　cut除去定理
　９　ブール代数

第２章　述語論理
　１　一階の述語論理
　２　述語論理の論理式
　３　構造
　４　恒真な論理式
　５　古典述語論理の形式体系LK
　６　完全性定理
　７　コンパクト性定理
　８　一階の述語論理の拡張

第３章　エルブランの定理と導出原理
　１　スコーレム標準形
　２　エルブランの定理
　３　導出原理──命題論理の場合
　４　導出原理──述語論理の場合

第４章　様相論理
　１　様相論理
　２　いろいろな様相論理
　３　クリプキによるセマンティクス
　４　完全性定理
　５　有限モデル性と決定可能性
　６　時間論理
　７　様相論理の周辺
　８　様相代数

第５章　直観主義論理
　１　直観主義
　２　直観主義論理の体系
　３　直観主義論理のセマンティクス
　４　完全性定理と有限モデル性
　５　埋め込み定理
　６　ハイディング代数
　７　構造規則を除いた論理

第６章　自然演繹の体系
　１　自然演繹の考え方
　２　直観主義論理に対する体系NJ
　３　古典論理に対する体系
　４　証明図の正規化
　５　ラムダ計算
　６　カリー・ハワードの対応