第１部 命題論理と一階述語論理の進んだ話題

　　第１章 　命題論理の進んだ話題
　　第２章 　一階述語論理の進んだ話題

第２部 再帰的関数論とメタ数学

　　第３章 　再帰的関数論、決定不能性、不完全性
　　第４章 　 初等形式体系と再帰的枚挙可能性
　　第５章 　 再帰的関数論
　　第６章 　二重化による一般化
　　第７章 　メタ数学とのつながり

第３部 コンビネータ論理の構成要素

　　第８章 　コンビネータ論理事始め
　　第９章 　さまざまなコンビネータ
　　第１０章 　賢者，預言者，それらの二重化
　　第１１章 　完全体系と部分体系
　　第１２章 　コンビネータ，再帰的関数論，決定不能性