この商品を友人に教える:
Advances in Proof Theory - Progress in Computer Science and Applied Logic Reinhard Kahle Softcover reprint of the original 1st ed. 2016 edition
価格
¥ 16.623
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月12日 - 年10月22日
Reinhard Kahle の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Advances in Proof Theory - Progress in Computer Science and Applied Logic
Reinhard Kahle
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 |
![Cover for Bruno Cordani · Geography of Order and Chaos in Mechanics: Investigations of Quasi-Integrable Systems with Analytical, Numerical, and Graphical Tools - Progress in Mathematical Physics (Paperback Book) [Second Edition 2024 edition] (2025)](https://imusic.b-cdn.net/images/item/original/288/9783031722288.jpg?bruno-cordani-2025-geography-of-order-and-chaos-in-mechanics-investigations-of-quasi-integrable-systems-with-analytical-numerical-and-graphical-tools-progress-in-mathematical-physics-paperback-book&class=scaled&v=1778576305)
![Cover for Jurgen Jost · Bernhard Riemann — On the Hypotheses Which Lie at the Bases of Geometry - Classic Texts in the Sciences (Hardcover Book) [Second Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/881/9783031914881.jpg?jurgen-jost-2025-bernhard-riemann-on-the-hypotheses-which-lie-at-the-bases-of-geometry-classic-texts-in-the-sciences-hardcover-book&class=scaled&v=1760682158)
![Cover for Stephen Lynch · Dynamical Systems with Applications Using MATLAB® (Hardcover Book) [Third Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/666/9783031890666.jpg?stephen-lynch-2025-dynamical-systems-with-applications-using-matlab-hardcover-book&class=scaled&v=1750006615)