Advances in Proof Theory - Progress in Computer Science and Applied Logic -  - Książki - Birkhauser Verlag AG - 9783319291963 - 12 maja 2016
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 406,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 12 maja 2016
ISBN13 9783319291963
Wydawcy Birkhauser Verlag AG
Strony 425
Wymiary 155 × 235 × 25 mm   ·   789 g
Język Niemiecki  
Redaktor Kahle, Reinhard
Redaktor Strahm, Thomas
Redaktor Studer, Thomas