Pastāsti draugiem par šo preci:
Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition
Cena
€ 103,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 21. - 29. jūl.
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 Illustrations, black and white; XII, 425 p. 10 illus.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2018. gada 27. maijs |
| ISBN13 | 9783319805139 |
| Izdevēji | Birkhauser Verlag AG |
| Lapas | 425 |
| Izmēri | 150 × 220 × 10 mm · 663 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)