Gentzen, Gerhard, 1909-1945
Gentzen, Gerhard
Gerhard Karl Erich Gentzen
Gerhard Gentzen deutscher Mathematiker
VIAF ID: 22269649 ( Personal )
Permalink: http://viaf.org/viaf/22269649
Preferred Forms
-
-
-
- 100 1 _ ‡a Gentzen, Gerhard
-
-
- 100 1 _ ‡a Gentzen, Gerhard
-
-
-
- 100 1 _ ‡a Gentzen, Gerhard ‡d 1909-1945
- 100 1 _ ‡a Gentzen, Gerhard, ‡d 1909-1945
-
-
- 100 0 _ ‡a Gerhard Gentzen ‡c deutscher Mathematiker
- 100 0 _ ‡a Gerhard Karl Erich Gentzen
4xx's: Alternate Name Forms (35)
5xx's: Related Names (2)
- 551 _ _ ‡a Greifswald ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Prag ‡4 orts ‡4 https://d-nb.info/standards/elementset/gnd#placeOfDeath
Works
Title | Sources |
---|---|
Badania nad wnioskowaniem logicznym / G. Gentzen. - Białystok, 1980. | |
The collected papers of Gerhard Gentzen. | |
gegenwärtige Lage in der mathematischen Grundlagenforschung | |
Intuitionisme et théorie de la démonstration | |
Logic's lost genius, 2007: | |
Recherches sur la déduction logique | |
Sammlung | |
Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics | |
Trends in Logic XIII | |
Untersuchungen über das logische Schliessen | |
Widerspruchsfreiheit der reinen Zahlentheorie |