bn:03224368n
Noun Named Entity
Categories: Décès en août 1945, Personne morte en prison, Décès à Prague, Professeur à l'université Charles de Prague, Étudiant de l'université de Göttingen
FR
Gerhard Gentzen  Gentzen  Théorème de Gentzen
FR
Gerhard Gentzen est un mathématicien et logicien allemand, dont l'œuvre est fondamentale en théorie de la démonstration. Wikipedia
Definitions
Relations
Sources