商品検索
詳しい条件で探す
欲しい商品が見つからない場合
ホーム ＞ 商品詳細

証明論入門　

竹内　外史, 八杉　満利子 　著

在庫状況 有り  お届け予定日 3～4日  数量 冊 
価格 \3,850（税込）         

この商品について問合せる
発行年月 2010年06月
出版社／提供元
言語 日本語
媒体 冊子
ページ数／巻数 １９１ｐ
大きさ 22
ジャンル 和書／理工学／自然科学／自然科学
ISBN 9784320019355
商品コード 0110049275
NDC分類 410.9
基本件名 数学基礎論
本の性格 テキスト
商品URL
参照 		https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0110049275

内容

還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門（数学基礎論 改題）』として1988年に改題発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け再発行するものです。

目次

カート

カートに商品は入っていません。


前のページに戻る