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

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

Pris
SEK 1.069

Beställningsvara

Förväntad leverans 5 - 13 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

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 Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 27 maj 2018
ISBN13 9783319805139
Utgivare Birkhauser Verlag AG
Antal sidor 425
Mått 150 × 220 × 10 mm   ·   663 g
Språk Tyska  
Redaktör Kahle, Reinhard
Redaktör Strahm, Thomas
Redaktör Studer, Thomas