Vinkkaa tuotetta kavereillesi:
Advances in Proof Theory - Progress in Computer Science and Applied Logic 1st ed. 2016 edition
Hinta
€ 101,49
Tilattu etävarastosta
Arvioitu toimitus to - pe 8. - 16. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
Löytyy myös muodossa:
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 | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | torstai 12. toukokuuta 2016 |
| ISBN13 | 9783319291963 |
| Tuottaja | Birkhauser Verlag AG |
| Sivujen määrä | 425 |
| Mitta | 155 × 235 × 25 mm · 789 g |
| Kieli | Saksa |
| Toimittaja | Kahle, Reinhard |
| Toimittaja | Strahm, Thomas |
| Toimittaja | Studer, Thomas |