15 found
Order:
  1. The Collected Papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam: North-Holland Pub. Co..
  2. Investigations Into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
  3.  28
    Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
  4.  22
    Die Widerspruchsfreiheit der Reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
    Direct download  
     
    Export citation  
     
    Bookmark   85 citations  
  5.  5
    Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.
  6.  14
    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   36 citations  
  7.  4
    Ü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  
    Translate
     
     
    Export citation  
     
    Bookmark   12 citations  
  8.  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  
  9.  4
    Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.Gerhard Gentzen - 1974 - Archive for Mathematical Logic 16 (3-4):97-118.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  10.  61
    Investigations Into Logical Deduction: II.Gerhard Gentzen - 1965 - American Philosophical Quarterly 2 (3):204 - 218.
  11.  9
    Recherches Sur la Déduction Logique.Gerhard Gentzen & Robert Feys - 1957 - Journal of Symbolic Logic 22 (4):350-351.
  12. Recherches Sur la Déduction Logique = Untersuchungen Über Das Logische Schliessen.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  13
    Investigations Into Logical Deduction.Introduction.John Riser, Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144.
  14. 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   1 citation  
  15.  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  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation