Fortell venner om denne varen:
Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition
Pris
Íkr 13.149
Bestillingsvarer
Forventes levert 11. - 21. jul
Legg til iMusic ønskeliste
Eller
Finnes også som:
Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition
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øker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 27. mai 2018 |
| ISBN13 | 9783319805139 |
| Utgivere | Birkhauser Verlag AG |
| Antall sider | 425 |
| Mål | 663 g |
| Språk | Tysk |
| Redaktør | Kahle, Reinhard |
| Redaktør | Strahm, Thomas |
| Redaktør | Studer, Thomas |