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

Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition

Preis
SFr. 86,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 1. - 9. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

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 Illustrations, black and white; XII, 425 p. 10 illus.

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 27. Mai 2018
ISBN13 9783319805139
Verlag Birkhauser Verlag AG
Seitenanzahl 425
Maße 150 × 220 × 10 mm   ·   663 g
Sprache Deutsch  
Redakteur Kahle, Reinhard
Redakteur Strahm, Thomas
Redakteur Studer, Thomas