Pastāsti draugiem par šo preci:
Advances in Proof Theory - Progress in Computer Science and Applied Logic 1st ed. 2016 edition
Cena
€ 103,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 24. jūl. - . gada 3. aug.
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
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 black & white illustrations, biography
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2016. gada 12. maijs |
| ISBN13 | 9783319291963 |
| Izdevēji | Birkhauser Verlag AG |
| Lapas | 425 |
| Izmēri | 155 × 235 × 25 mm · 789 g |
| Valoda | Vācu |
| Redaktors | Kahle, Reinhard |
| Redaktors | Strahm, Thomas |
| Redaktors | Studer, Thomas |
![Cover for Sorin G. Gal · Choquet Integral and Monotone Sublinear Operators - Frontiers in Mathematics (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/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.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)
![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.b-cdn.net/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)