Povej prijatelju o tem izdelku:
Advances in Proof Theory - Progress in Computer Science and Applied Logic 1st ed. 2016 edition
Cena
€ 111,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 27. avg - 10. sep
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja 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 black & white illustrations, biography
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 12. maja 2016 |
| ISBN13 | 9783319291963 |
| Založniki | Birkhauser Verlag AG |
| Strani | 425 |
| Dimenzije | 155 × 235 × 25 mm · 789 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)