13 found
Order:
  1.  14
    Gerhard Gentzen (1970). The Collected Papers of Gerhard Gentzen. Amsterdam, North-Holland Pub. Co..
  2.  77
    Gerhard Gentzen (1964). Investigations Into Logical Deduction. American Philosophical Quarterly 1 (4):288 - 306.
  3.  40
    Gerhard Gentzen (1965). Investigations Into Logical Deduction: II. American Philosophical Quarterly 2 (3):204 - 218.
  4.  2
    Gerhard Gentzen (1936). Die Widerspruchsfreiheit der Reinen Zahlentheorie. Journal of Symbolic Logic 1 (2):75-75.
    Direct download  
     
    Export citation  
     
    My bibliography   18 citations  
  5.  5
    Gerhard Gentzen (1939). Neue Fassung des Widerspruchsfreiheitsbeweises Für Die Reine Zahlentheorie. Journal of Symbolic Logic 4 (1):31-32.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  6. Gerhard Gentzen (1944). Beweisbarkeit Und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie. Journal of Symbolic Logic 9 (3):70-72.
    Direct download  
     
    Export citation  
     
    My bibliography   10 citations  
  7.  3
    Gerhard Gentzen (1939). Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises Für Die Reine Zahlentheorie. Journal of Philosophy 36 (4):109-109.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Gerhard Gentzen (1938). Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung. Journal of Symbolic Logic 3 (4):166-167.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9. Gerhard Gentzen, Robert Feys & J. Landrière (1955). Recherches Sur la Déduction Logique = Untersuchungen Über Das Logische Schliessen. Presses Universitaires de France.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  10. Gerhard Gentzen & Robert Feys (1957). Recherches Sur la Déduction Logique. Journal of Symbolic Logic 22 (4):350-351.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. Gerhard Gentzen (1938). Unendlichkeitsbegriff Und Widespruchsfreiheit der Mathematik. Journal of Symbolic Logic 3 (2):94-94.
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. Gerhard Gentzen (1973). Zusammenfassung von Mehreren Vollständigen Induktionen Zu Einer Einzigen. Journal of Symbolic Logic 38 (1):157-157.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. John Riser, Gerhard Gentzen, M. E. Szabo & Paul Bernays (1970). Investigations Into Logical Deduction.Introduction. Journal of Symbolic Logic 35 (1):144.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography