内容紹介
還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で,従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門(数学基礎論 改題)』として1988年に改題発行後,以来,長年にわたり多数の読者にご愛読いただいてまいりました。この度,多くの読者からの要望を受け再発行するものです。
著者略歴 (「BOOK著者紹介情報」より)
竹内 外史
元イリノイ大学教授・理学博士
八杉 満利子
元京都産業大学教授・理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)