Gentzen's Centenary The Quest for Consistency /

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. 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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Kahle, Reinhard. (Editor, http://id.loc.gov/vocabulary/relators/edt), Rathjen, Michael. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Subjects:
Online Access:https://doi.org/10.1007/978-3-319-10103-3

Similar Items