ホーム > 商品詳細
eBook

Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, Volume 137 824 p. 98(電子版/PDF)1998年刊

Buss, Samuel R.  編
    数量 冊 
価格 \53,530(税込)         

発行年月 1998年01月
出版社/提供元
出版国 オランダ
言語 英語
媒体 EBOOK
ファイル形式 PDF
ページ数/巻数 vii, 811 p.
ジャンル 洋書/理工学/数学/数学基礎論
ISBN 9780080533186
商品コード 1002992867
本の性格 学術書
商品URL
参照
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1002992867

内容

Contains articles covering a broad spectrum of proof theory, with anemphasis on its mathematical aspects. This book includes the central topicsof proof theory. It concludes with articles that deal with topics closelyrelated to computer science.
【eBookご利用の注意点】この商品をご利用するには、ソフトウェア「Adobe Digital Editions」が必要です。eBookご利用案内からダウンロードしてインストールを行い、サンプルファイルで稼動確認された上でご利用ください。●動作環境:Windows XP/Vista/7、MAC OSX ●ダウンロード回数3回まで ●同一AdobeIDの端末でファイルの共有が可能(台数制限あり) ●印刷不可 ●その他ご利用条件については、ご利用規約をご確認ください。
※この商品のご購入は、教育機関、医療機関若しくは企業その他の団体に所属する「個人」の方が対象となります。図書館・図書室ではご購入いただけません。

目次

カート

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