17 found
Order:
  1. The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
  2. Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
  3.  79
    Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
  4.  26
    Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
    Direct download  
     
    Export citation  
     
    Bookmark   93 citations  
  5.  27
    Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.
  6.  20
    Investigations into Logical Deduction.Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144-145.
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  7.  6
    Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.Gerhard Gentzen - 1974 - Archive for Mathematical Logic 16 (3-4):119-132.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  8.  63
    Investigations into Logical Deduction: II.Gerhard Gentzen - 1965 - American Philosophical Quarterly 2 (3):204 - 218.
  9.  6
    Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der reinen Zahlentheorie.Gerhard Gentzen - 1944 - Journal of Symbolic Logic 9 (3):70-72.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  10.  5
    Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.Gerhard Gentzen - 1974 - Archive for Mathematical Logic 16 (3-4):97-118.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  11. Untersuchungen über das logische Schliessen.Gerhard Gentzen - 1969 - Darmstadt,: Wissenschaftliche Buchgesellschaft.
     
    Export citation  
     
    Bookmark   4 citations  
  12.  10
    Recherches sur la Déduction Logique.Gerhard Gentzen & Robert Feys - 1957 - Journal of Symbolic Logic 22 (4):350-351.
  13. Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitbeweises für die Reine Zahlentheorie.Gerhard Gentzen, D. Hilbert & P. Bernays - 1940 - Mind 49 (194):239-248.
    No categories
     
    Export citation  
     
    Bookmark  
  14. Recherches Sur la Déduction Logique = Untersuchungen Über Das Logische Schliessen.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
     
    Export citation  
     
    Bookmark  
  15.  15
    Investigations into Logical Deduction.Introduction.John Riser, Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144.
  16. Die gegenwärtige Lage in der mathematischen Grundlagenforschung: neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.Gerhard Gentzen - 1938 - Hildesheim: Gerstenberg.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  17.  4
    Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik.Gerhard Gentzen - 1937 - Travaux du IXe Congrès International de Philosophie 6:201-205.
    Les divers points de vue relatifs au concept mathématique de l’infini sont ordonnés en série croissante d’après le degré où l’on reconnaît ce concept en ses diverses complications. Cette série est divisée en trois groupes : la mathématique du fini, la « conception constructive », et la « conception en soi » de l’infini. D’après cette série, l’on explique le programme d"Hilbert, qui est de prouver que la mathématique est libre de contradiction, et l’on rapporte brièvement les méthodes qui sont (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation