Advances in Proof Theory - Progress in Computer Science and Applied Logic - - Books - Birkhauser Verlag AG - 9783319291963 - May 12, 2016
In case cover and title do not match, the title is correct

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

Price
₩ 175,700
excl. VAT

Ordered from remote warehouse

Expected delivery May 28 - Jun 11

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Hardcover Book   (Book with hard spine and cover)
Released May 12, 2016
ISBN13 9783319291963
Publishers Birkhauser Verlag AG
Pages 425
Dimensions 155 × 235 × 25 mm   ·   789 g
Language German  
Editor Kahle, Reinhard
Editor Strahm, Thomas
Editor Studer, Thomas