Advances in Proof Theory - Progress in Computer Science and Applied Logic - - Bøger - Birkhauser Verlag AG - 9783319291963 - 12. maj 2016
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 1.014

Bestilles fra fjernlager

Forventes klar til forsendelse 13. - 20. jun.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 12. maj 2016
ISBN13 9783319291963
Forlag Birkhauser Verlag AG
Antal sider 425
Mål 155 × 235 × 25 mm   ·   789 g
Sprog Tysk  
Klipper/redaktør Kahle, Reinhard
Klipper/redaktør Strahm, Thomas
Klipper/redaktør Studer, Thomas