17 found
Order:
  1. The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
  2. Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
  3. Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
  4.  35
    Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
    Direct download  
     
    Export citation  
     
    Bookmark   95 citations  
  5.  42
    Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.
  6.  28
    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   41 citations  
  7.  9
    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   15 citations  
  8.  8
    Ü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  
  9.  2
    Untersuchungen über das logische Schliessen.Gerhard Gentzen - 1969 - Darmstadt,: Wissenschaftliche Buchgesellschaft.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  10.  7
    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.  64
    Investigations into Logical Deduction: II.Gerhard Gentzen - 1965 - American Philosophical Quarterly 2 (3):204 - 218.
  12.  11
    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.  4
    Die gegenwärtige Lage in der mathematischen Grundlagenforschung: neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.Gerhard Gentzen - 1938 - Hildesheim: Gerstenberg.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Recherches sur la déduction logique.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  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  
  17.  15
    Investigations into Logical Deduction.Introduction.John Riser, Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144.