Faites connaître cet article à vos amis:
Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition
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 Illustrations, black and white; XII, 425 p. 10 illus.
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 27 mai 2018 |
| ISBN13 | 9783319805139 |
| Éditeurs | Birkhauser Verlag AG |
| Pages | 425 |
| Dimensions | 150 × 220 × 10 mm · 663 g |
| Langue et grammaire | Allemand |
| Éditeur | Kahle, Reinhard |
| Éditeur | Strahm, Thomas |
| Éditeur | Studer, Thomas |
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier