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

Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition

価格
¥ 16.860
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月5日 - 2026年1月15日
クリスマスプレゼントは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 Illustrations, black and white; XII, 425 p. 10 illus.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2018年5月27日
ISBN13 9783319805139
出版社 Birkhauser Verlag AG
ページ数 425
寸法 150 × 220 × 10 mm   ·   663 g
言語 ドイツ語  
編集者 Kahle, Reinhard
編集者 Strahm, Thomas
編集者 Studer, Thomas