Le livre est actuellement en rupture de stock
Saved from the Cellar
Gerhard Gentzens Shorthand Notes on Logic and Foundations of Mathematics
Auteurs
Évaluation du livre
En savoir plus sur le livre
Focusing on Gerhard Gentzen's groundbreaking contributions to logic and proof theory, this volume explores his development of natural deduction and sequent calculus, as well as his resolution of Gödel's incompleteness results. It also highlights his dedication to Hilbert's proof theory before his tragic demise in a Prague prison. Jan von Plato provides a comprehensive overview of Gentzen's life and work, enriched by previously lost shorthand manuscripts, showcasing the evolution of his key ideas and insights into his intellectual brilliance.
Achat du livre
Saved from the Cellar, Jan von Plato
- Langue
- Année de publication
- 2018
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.