Monografie
Saved from the cellar : Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics
- Edition
-
[1st edition]
- Language
-
Englisch
- Extent
-
x, 315 Seiten
- ISBN
-
978-3-319-42119-3
- Identifier
-
1102390690
- Series
-
Sources and studies in the history of mathematics and physical sciences
Subject
Gentzen, Gerhard ; Beweistheorie ; Mathematische Logik
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
15.04.2024, 8:54 AM CEST
Object type
- Monografie
Other Objects (12)
Logic's lost genius : the life of Gerhard Gentzen
Resolution and the Origins of Structural Reasoning : Early Proof-Theoretic Ideas of Hertz and Gentzen (Extended Version)
A history of the central limit theorem : from classical to modern probability theory
The arithmetic of infinitesimals : John Wallis 1656
James Stirling's methodus differentialis : an annotated translation of Stirling's text
Most honourable remembrance : the life and work of Thomas Bayes
Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017
Fibonacci's Liber abaci : a translation into modern English of Leonardo Pisano's Book of calculation
Fibonacci's Liber abaci : a translation into modern English of Leonardo Pisano's Book of calculation
Exploring the limits of preclassical mechanics : a study of conceptual development in early modern science ; free fall and compounded motion in the work of Descartes, Galileo, and Beeckman
Redefining geometrical exactness : Descartes' transformation of the early modern concept of construction
Tableau systems for first order number theory and certain higher order theories
Logic's lost genius : the life of Gerhard Gentzen
Resolution and the Origins of Structural Reasoning : Early Proof-Theoretic Ideas of Hertz and Gentzen (Extended Version)
A history of the central limit theorem : from classical to modern probability theory
The arithmetic of infinitesimals : John Wallis 1656
James Stirling's methodus differentialis : an annotated translation of Stirling's text
Most honourable remembrance : the life and work of Thomas Bayes
Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017
Fibonacci's Liber abaci : a translation into modern English of Leonardo Pisano's Book of calculation
Fibonacci's Liber abaci : a translation into modern English of Leonardo Pisano's Book of calculation
Exploring the limits of preclassical mechanics : a study of conceptual development in early modern science ; free fall and compounded motion in the work of Descartes, Galileo, and Beeckman
Redefining geometrical exactness : Descartes' transformation of the early modern concept of construction
Tableau systems for first order number theory and certain higher order theories
Logic's lost genius : the life of Gerhard Gentzen
Resolution and the Origins of Structural Reasoning : Early Proof-Theoretic Ideas of Hertz and Gentzen (Extended Version)
A history of the central limit theorem : from classical to modern probability theory
The arithmetic of infinitesimals : John Wallis 1656
James Stirling's methodus differentialis : an annotated translation of Stirling's text
Most honourable remembrance : the life and work of Thomas Bayes
Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017
Fibonacci's Liber abaci : a translation into modern English of Leonardo Pisano's Book of calculation
Fibonacci's Liber abaci : a translation into modern English of Leonardo Pisano's Book of calculation
Exploring the limits of preclassical mechanics : a study of conceptual development in early modern science ; free fall and compounded motion in the work of Descartes, Galileo, and Beeckman
Redefining geometrical exactness : Descartes' transformation of the early modern concept of construction