Advances in Proof Theory
(Bog, Paperback / softback, Engelsk)
Forlag:
Birkhauser Verlag AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319805139
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Birkhauser Verlag AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | Softcover reprint of the original 1st ed. 2016 |
| Udgivelsesdato | 27-05-2018 |
| Første udgivelsesår | 2018 |
| Serie | Progress in Computer Science and Applied Logic |
| Illustrationer | 10 Illustrations, black and white; XII, 425 p. 10 illus. |
| Fagredaktør | Reinhard Kahle, Thomas Strahm, Thomas Studer |
| Originalsprog | Switzerland |
| Sideantal | 425 |
| Indbinding | Paperback / softback |
| Forlag | Birkhauser Verlag AG |
| Sideoplysninger | 425 pages, 10 Illustrations, black and white; XII, 425 p. 10 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319805139 |