Powiedz znajomym o tym przedmiocie:
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.
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 27 maja 2018 |
| ISBN13 | 9783319805139 |
| Wydawcy | Birkhauser Verlag AG |
| Strony | 425 |
| Wymiary | 150 × 220 × 10 mm · 663 g |
| Język | Niemiecki |
| Redaktor | Kahle, Reinhard |
| Redaktor | Strahm, Thomas |
| Redaktor | Studer, Thomas |
Świąteczne prezenty można zwracać do 31 stycznia