Gentzen's Centenary: The Quest for Consistency

Gentzen's Centenary: The Quest for Consistency

by ReinhardKahle (Editor), Michael Rathjen (Editor)

Synopsis

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.

$137.58

Quantity

10 in stock

More Information

Format: Paperback
Pages: 572
Edition: 1st ed. 2015
Publisher: Springer
Published: 14 Feb 2015

ISBN 10: 3319101021
ISBN 13: 9783319101026