Advances in Proof Theory - Progress in Computer Science and Applied Logic - - Kirjat - Birkhauser Verlag AG - 9783319291963 - torstai 12. toukokuuta 2016
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
元 979

Tilattu etävarastosta

Arvioitu toimitus pe 23. touko - ke 4. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 12. toukokuuta 2016
ISBN13 9783319291963
Tuottaja Birkhauser Verlag AG
Sivujen määrä 425
Mitta 155 × 235 × 25 mm   ·   789 g
Kieli German  
Toimittaja Kahle, Reinhard
Toimittaja Strahm, Thomas
Toimittaja Studer, Thomas