１　準備（言葉づかいについて：集合、順序と同値関係、写像と関数）
２　命題論理（日常的推論と記号化
数理パズルと記号化
命題論理の言語：論理式　ほか）
３　述語論理（数理パズルと述語論理による記号化
述語論理の言語
述語論理の形式的体系　ほか）
４　証明の形式化とラムダ計算（証明図の簡約
証明の記号化・形式化
カリー・ハワード同型）