Advances in Proof Theory - Progress in Computer Science and Applied Logic -  - Bücher - Birkhauser Verlag AG - 9783319291963 - 12. Mai 2016
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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:

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