Freunden von diesem Artikel berichten:
Advances in Proof Theory - Progress in Computer Science and Applied Logic 1st ed. 2016 edition
Preis
€ 98,99
Bestellware
Lieferdatum: ca. 31. Dez - 8. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
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
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 12. Mai 2016 |
| ISBN13 | 9783319291963 |
| Verlag | Birkhauser Verlag AG |
| Seitenanzahl | 425 |
| Maße | 155 × 235 × 25 mm · 789 g |
| Sprache | Deutsch |
| Redakteur | Kahle, Reinhard |
| Redakteur | Strahm, Thomas |
| Redakteur | Studer, Thomas |