Gentzen's Centenary: The Quest for Consistency - - Books - Springer International Publishing AG - 9783319101026 - November 9, 2015
In case cover and title do not match, the title is correct

Gentzen's Centenary: The Quest for Consistency 1st ed. 2015 edition

Price
$ 168.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

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

This work comprises articles by leading proof theorists, attesting to Gentzen's enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory.

484 pages, 23 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 9, 2015
ISBN13 9783319101026
Publishers Springer International Publishing AG
Pages 561
Dimensions 155 × 235 × 29 mm   ·   789 g
Language German  
Editor Kahle, Reinhard
Editor Rathjen, Michael

Mere med samme udgiver