Povej prijatelju o tem izdelku:
Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition
Do you have a profile? Prijava
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Na voljo tudi kot:
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.
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 27. maja 2018 |
| ISBN13 | 9783319805139 |
| Založniki | Birkhauser Verlag AG |
| Strani | 425 |
| Dimenzije | 150 × 220 × 10 mm · 663 g |
| Jezik | Nemščina |
| Urednik | Kahle, Reinhard |
| Urednik | Strahm, Thomas |
| Urednik | Studer, Thomas |
![Cover for Gisbert Stoyan · Elementary Numerical Mathematics for Programmers and Engineers - Compact Textbooks in Mathematics (Paperback Book) [Second Edition 2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/887/9783031660887.jpg?gisbert-stoyan-2024-elementary-numerical-mathematics-for-programmers-and-engineers-compact-textbooks-in-mathematics-paperback-book&class=scaled&v=1722723566)
![Cover for David Waszek-Maria Zack · Research in History and Philosophy of Mathematics: The CSHPM 2022 Volume - Annals of the Canadian Society for History and Philosophy of Mathematics/ Societe canadienne d’histoire et de philosophie des mathematiques (Hardcover Book) [2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/927/9783031461927.jpg?david-waszek-maria-zack-2024-research-in-history-and-philosophy-of-mathematics-the-cshpm-2022-volume-annals-of-the-canadian-society-for-history-and-philosophy-of-mathematics-societe-canadienne-d-histoire-et-de-philosophie-des-mathematiques-hardcover-book&class=scaled&v=1750187179)
![Cover for Tianxin Cai · A Brief History of Mathematics: A Promenade through the Civilizations of Our World (Hardcover Book) [2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/403/9783031268403.jpg?tianxin-cai-2023-a-brief-history-of-mathematics-a-promenade-through-the-civilizations-of-our-world-hardcover-book&class=scaled&v=1691524752)
![Cover for Willy Dorfler · Wave Phenomena: Mathematical Analysis and Numerical Approximation - Oberwolfach Seminars (Paperback Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/922/9783031057922.jpg?willy-dorfler-2023-wave-phenomena-mathematical-analysis-and-numerical-approximation-oberwolfach-seminars-paperback-book&class=scaled&v=1669974382)
![Cover for Eli E. Goldwyn · Mathematics Research for the Beginning Student, Volume 1: Accessible Projects for Students Before Calculus - Foundations for Undergraduate Research in Mathematics (Hardcover Book) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/598/9783031085598.jpg?eli-e-goldwyn-2022-mathematics-research-for-the-beginning-student-volume-1-accessible-projects-for-students-before-calculus-foundations-for-undergraduate-research-in-mathematics-hardcover-book&class=scaled&v=1657299866)
![Cover for B-Model Gromov-Witten Theory - Trends in Mathematics (Hardcover Book) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/193/9783319942193.jpg?2019-b-model-gromov-witten-theory-trends-in-mathematics-hardcover-book&class=scaled&v=1542889753)