Tipsa dina vänner om produkten:
Advances in Proof Theory - Progress in Computer Science and Applied Logic Reinhard Kahle Softcover reprint of the original 1st ed. 2016 edition
Pris
SEK 1.089
Beställningsvara
Förväntad leverans 4 - 12 nov
Julklappar kan bytas fram till 31:e januari
Få avisering om nya utgåvor med Reinhard Kahle
Lägg till din iMusic-önskelista
eller
Advances in Proof Theory - Progress in Computer Science and Applied Logic
Reinhard Kahle
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.
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 27 maj 2018 |
| ISBN13 | 9783319805139 |
| Utgivare | Birkhauser Verlag AG |
| Antal sidor | 425 |
| Mått | 150 × 220 × 10 mm · 663 g |
| Språk | Tyska |
| Redaktör | Kahle, Reinhard |
| Redaktör | Strahm, Thomas |
| Redaktör | Studer, Thomas |