Advances in Proof Theory - Progress in Computer Science and Applied Logic - - Bøker - Birkhauser Verlag AG - 9783319291963 - 12. mai 2016
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Advances in Proof Theory - Progress in Computer Science and Applied Logic 1st ed. 2016 edition

Pris
Íkr 13.149

Bestillingsvarer

Forventes levert 11. - 21. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

Finnes også som:

Advances in Proof Theory - Progress in Computer Science and Applied Logic 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 black & white illustrations, biography

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 12. mai 2016
ISBN13 9783319291963
Utgivere Birkhauser Verlag AG
Antall sider 425
Mål 155 × 235 × 25 mm   ·   789 g
Språk Tysk  
Redaktør Kahle, Reinhard
Redaktør Strahm, Thomas
Redaktør Studer, Thomas