Gentzen, Gerhard (1909-1945) Amélioration Assistance
066888581
Notice de type Personne

Forme retenue

Gentzen, Gerhard (1909-1945)

Information

Langue d'expression : allemand
Pays : ALLEMAGNE
Date de naissance : 24 11 1909
Date de mort : 04 08 1945

Notes

Note publique d'information :
Mathématicien. Professeur à l'Université de Prague (1942-1945)


Source

BN Cat. gén. suppl.


Dict. of scient. biogr.


The collected papers / of Gerhard Gentzen : edited by M. E. Szabo, 1969

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU

Autres identifiants

En cours : frBN006844814
En cours : FRBNF128598768

Notices bibliographiques liées :2rôle(s)

070 Auteur ( 4 )
990 Sujet ( 5 )



Auteur :

Rôles ?



025162179 : Die gegenwärtige Lage in der mathematischen Grundlagenforschung [Texte imprimé] : Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie / Gerhard Gentzen / Leipzig : S. Hirzel , 1938

010472738 : Recherches sur la déduction logique [Texte imprimé] = = Untersuchungen über das logische Schliessen : / par Gerhard Gentzen ; traduction et commentaire par Robert Feys et Jean Ladrière / Paris : Presses universitaires de France , 1955

004549740 : The collected papers of Gerhard Gentzen [Texte imprimé] / edited by M.E. Szabo,... / Amsterdam : North-Holland , 1969

022792767 : Die gegenwärtige Lage in der mathematischen Grundlagenforschung [Texte imprimé] : Neu Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. (Unveránd. reprograph. Nachdr. d. Ausg. Leipzig 1938.) / Gerhard Gentzen / Darmstadt : Wissenschaftliche Buchges , 1969



Sujet :

Rôles ?



002811553 : Intuitionisme et théorie de la démonstration [Texte imprimé] / textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl ; réunis, traduits et présentés par Jean Largeault / Paris : J. Vrin , 1992

089030052 : Gentzens Problem [Texte imprimé] : mathematische Logik im nationalsozialistischen Deutschland / Eckart Menzler-Trott ; mit einem Essay von Jan von Plato / Basel [etc.] : Birkhäuser , 2001

014943530 : Natural deduction [Texte imprimé] : a proof-theoretical study / Dag Prawitz / Stockholm : Almqvist & Wiksell , [1965]

102137935 : Natural deduction [Texte imprimé] : a proof-theoretical study / Dag Prawitz,... / Mineola, NY : Dover publications , cop. 2006

123770882 : Logic's lost genius [Texte imprimé] : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smoryński and Edward Griffor / [English ed.] / Providence (R.I.) : American Mathematical Society , cop. 2007


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance