Advances in Proof Theory - Progress in Computer Science and Applied Logic -  - Böcker - Birkhauser Verlag AG - 9783319291963 - 12 maj 2016
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.079

Beställningsvara

Förväntad leverans 18 - 26 nov
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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öcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 12 maj 2016
ISBN13 9783319291963
Utgivare Birkhauser Verlag AG
Antal sidor 425
Mått 155 × 235 × 25 mm   ·   789 g
Språk Tyska  
Redaktör Kahle, Reinhard
Redaktör Strahm, Thomas
Redaktör Studer, Thomas

Mer från samma **utgivare**