Fortell venner om denne varen:
Advances in Proof Theory - Progress in Computer Science and Applied Logic 1st ed. 2016 edition
Pris
NOK 1.159
Bestillingsvarer
Forventes levert 24. aug - 7. sep
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 12. mai 2016 |
| ISBN13 | 9783319291963 |
| Utgivere | Birkhauser Verlag AG |
| Antall sider | 425 |
| Mål | 155 × 235 × 25 mm · 789 g |
| Språk | Tysk |
| Redaktør | Kahle, Reinhard |
| Redaktør | Strahm, Thomas |
| Redaktør | Studer, Thomas |
![Cover for Gisbert Stoyan · Elementary Numerical Mathematics for Programmers and Engineers - Compact Textbooks in Mathematics (Pocketbok) [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-pocketbok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1750187179)
![Cover for Tianxin Cai · A Brief History of Mathematics: A Promenade through the Civilizations of Our World (Innbunden bok) [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-innbunden-bok&class=scaled&v=1691524752)
![Cover for Willy Dorfler · Wave Phenomena: Mathematical Analysis and Numerical Approximation - Oberwolfach Seminars (Pocketbok) [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-pocketbok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1657299866)
![Cover for B-Model Gromov-Witten Theory - Trends in Mathematics (Innbunden bok) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/193/9783319942193.jpg?2019-b-model-gromov-witten-theory-trends-in-mathematics-innbunden-bok&class=scaled&v=1542889753)