Advances in Proof Theory - Progress in Computer Science and Applied Logic - - 書籍 - Birkhauser Verlag AG - 9783319291963 - 2016年5月12日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Advances in Proof Theory - Progress in Computer Science and Applied Logic 1st ed. 2016 edition

価格
¥ 17.044
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月13日 - 2026年1月23日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

他の形態でも入手可能：

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.

425 pages, 10 black & white illustrations, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2016年5月12日
ISBN13 9783319291963
出版社 Birkhauser Verlag AG
ページ数 425
寸法 155 × 235 × 25 mm   ·   789 g
言語 ドイツ語  
編集者 Kahle, Reinhard
編集者 Strahm, Thomas
編集者 Studer, Thomas