Vertel uw vrienden over dit artikel:
Advances in Proof Theory - Progress in Computer Science and Applied Logic 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 black & white illustrations, biography
| Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 12 mei 2016 |
| ISBN13 | 9783319291963 |
| Uitgevers | Birkhauser Verlag AG |
| Pagina's | 425 |
| Afmetingen | 155 × 235 × 25 mm · 789 g |
| Taal en grammatica | Duits |
| Uitgever | Kahle, Reinhard |
| Uitgever | Strahm, Thomas |
| Uitgever | Studer, Thomas |
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld