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

Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition

Cena
zł 408,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 13 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 Illustrations, black and white; XII, 425 p. 10 illus.

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 27 maja 2018
ISBN13 9783319805139
Wydawcy Birkhauser Verlag AG
Strony 425
Wymiary 150 × 220 × 10 mm   ·   663 g
Język Niemiecki  
Redaktor Kahle, Reinhard
Redaktor Strahm, Thomas
Redaktor Studer, Thomas