Saved from the Cellar Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics /
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Gödel's incompleteness results,...
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Σειρά: | Sources and Studies in the History of Mathematics and Physical Sciences,
|
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
