還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で，従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門（数学基礎論 改題）』として1988年に改題発行後，以来･･･

還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で，従来の論理関係の教科書に見られない内容を扱って初歩から解説。