分享给好友:
Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition
价格
元 713
不含税
远程仓调货
预计送达时间 年7月16日 - 年7月28日
添加至iMusic心愿单
其他版本：
Advances in Proof Theory - Progress in Computer Science and Applied Logic
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 Sorin G. Gal · Choquet Integral and Monotone Sublinear Operators - Frontiers in Mathematics (Paperback Book) [2024 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/000/9783031717000.jpg?sorin-g-gal-2026-choquet-integral-and-monotone-sublinear-operators-frontiers-in-mathematics-paperback-book&class=scaled&v=1773458411)
![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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/images/item/original/666/9783031890666.jpg?stephen-lynch-2025-dynamical-systems-with-applications-using-matlab-hardcover-book&class=scaled&v=1750006615)
![Cover for Erika Luciano · The Jewish Mathematical Diaspora from Fascist Italy: Looking for a Space of Intellectual Survival - Science Networks. Historical Studies (Hardcover Book) [2024 edition] (2025)](https://imusic.com.cn/local-image/images/item/original/953/9783031648953.jpg?erika-luciano-2025-the-jewish-mathematical-diaspora-from-fascist-italy-looking-for-a-space-of-intellectual-survival-science-networks-historical-studies-hardcover-book&class=scaled&v=1760727725)
