Loading…

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 reflect...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Kahle, Reinhard (Editor), Rathjen, Michael (Editor)
Format: Electronic eBook
Language:Inglés
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Subjects:
Online Access:Texto Completo