1~2日で出荷、新刊の場合、発売日以降のお届けになります
還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門(数学基礎論 改題)』として1988年に改題発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け再発行するものです。
よく利用するジャンルを設定できます。
「+」ボタンからジャンル(検索条件)を絞って検索してください。
表示の並び替えができます。