竹内 外史タケウチ ガイシ

著作一覧

詳細検索

復刊 証明論入門

  • 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円

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

証明論入門 書影
証明論入門