Chargement en cours…

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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Kahle, Reinhard (Éditeur intellectuel), Rathjen, Michael (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Cham : Springer International Publishing : Imprint: Springer, 2015.
Édition:1st ed. 2015.
Sujets:
Accès en ligne:Texto Completo