復刊・復刻・新装版 復刊 復刊 証明論入門 竹内 外史・八杉 満利子共著 ISBN:978-4-320-01935-5判型/ページ数:A5 / 204ページ発行年月:2010年06月本体価格:3,500円還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で,従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門(数学基礎論 改題)』として1988年に改題発行後,以来・・・ 復刊 証明論入門 書影
証明論入門―数学基礎論改題― 竹内 外史・八杉 満利子共著 ISBN:978-4-320-01406-0判型/ページ数:A5 / 204ページ発行年月:1988年02月本体価格:2,800円還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で,従来の論理関係の教科書に見られない内容を扱って初歩から解説。 証明論入門 書影