Fortell venner om denne varen:
Advances in Proof Theory - Progress in Computer Science and Applied Logic Reinhard Kahle Softcover reprint of the original 1st ed. 2016 edition
Pris
NOK 999
Bestillingsvarer
Forventes levert 21. - 29. okt
Få varsel om nye utgivelser fra Reinhard Kahle
Legg til iMusic ønskeliste
eller
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.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 27. mai 2018 |
| ISBN13 | 9783319805139 |
| Utgivere | Birkhauser Verlag AG |
| Antall sider | 425 |
| Mål | 150 × 220 × 10 mm · 663 g |
| Språk | Tysk |
| Redaktør | Kahle, Reinhard |
| Redaktør | Strahm, Thomas |
| Redaktør | Studer, Thomas |
![Cover for Sorin G. Gal · Choquet Integral and Monotone Sublinear Operators - Frontiers in Mathematics (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1760682158)
