WorldCat Identities

Gentzen, Gerhard

Overview
Works: 26 works in 125 publications in 6 languages and 1,408 library holdings
Roles: Author, Dedicatee
Classifications: QA9, 164
Publication Timeline
.
Most widely held works about Gerhard Gentzen
 
Most widely held works by Gerhard Gentzen
The collected papers of Gerhard Gentzen by Gerhard Gentzen( Book )

18 editions published between 1969 and 1970 in 3 languages and held by 530 WorldCat member libraries worldwide

Provability, Computability and Reflection
Recherches sur la déduction logique (Untersuchungen über das Logische Schliessen) by Gerhard Gentzen( Book )

38 editions published between 1934 and 1980 in 4 languages and held by 196 WorldCat member libraries worldwide

Die gegenwärtige Lage in der mathematischen Grundlagenforschung : Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie by Gerhard Gentzen( Book )

21 editions published between 1938 and 1970 in 3 languages and held by 104 WorldCat member libraries worldwide

Die Widerspruchsfreiheit der reinen Zahlentheorie by Gerhard Gentzen( Book )

13 editions published between 1936 and 1970 in German and Italian and held by 64 WorldCat member libraries worldwide

Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften : Neue Folge, Heft 1-8 by Heinrich Scholz( Book )

2 editions published in 1970 in German and held by 10 WorldCat member libraries worldwide

Teoria della dimostrazione( Book )

2 editions published in 1981 in Undetermined and Italian and held by 9 WorldCat member libraries worldwide

Über die Existenz unabhängiger Axiomensysteme zu endlichen Satzsystemen by Gerhard Gentzen( Book )

1 edition published in 1932 in German and held by 2 WorldCat member libraries worldwide

Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie by Gerhard Gentzen( Book )

2 editions published in 1943 in German and held by 2 WorldCat member libraries worldwide

[Untersuchungen über das logische Schliessen. Recherches sur la déducation logique ... Traduction et commentaire par Robert Feys et Jean Ladrière by Gerhard Gentzen( Book )

1 edition published in 1955 in Undetermined and held by 2 WorldCat member libraries worldwide

Badania nad wnioskowaniem logicznym by Gerhard Gentzen( Book )

1 edition published in 1980 in Polish and held by 2 WorldCat member libraries worldwide

La Déduction logique = Untersuchungen über das logische Schliessen by Gerhard Gentzen( Book )

1 edition published in 1955 in French and held by 2 WorldCat member libraries worldwide

Intuitionnisme et théorie de la démonstration( Book )

1 edition published in 1992 in French and held by 2 WorldCat member libraries worldwide

Die Widerspruchsfreiheit der Stufenlogik by Gerhard Gentzen( Book )

1 edition published in 1936 in German and held by 2 WorldCat member libraries worldwide

[Verschiedene kleinere Veröffentlichungen aus dem Gebiete der Mathematik]( Book )

in German and held by 1 WorldCat member library worldwide

Untersuchungen über das logische Schliessen by Gerhard Gentzen( )

1 edition published in 1934 in German and held by 1 WorldCat member library worldwide

Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik by Gerhard Gentzen( Book )

in German and held by 1 WorldCat member library worldwide

Der Unendlichkeitsbegriff in der Mathematik by Gerhard Gentzen( Book )

1 edition published in 1936 in German and held by 1 WorldCat member library worldwide

Untersuchungen uber das logische schliefen by Gerhard Gentzen( Book )

in Italian and held by 1 WorldCat member library worldwide

Die Widersspruchsfreiheit der reinen Zahlentheorie. Sonderausg by Gerhard Gentzen( Book )

1 edition published in 1967 in German and held by 1 WorldCat member library worldwide

The collected papers of Gerhard Gentzen, ed. by Gerhard Gentzen( Book )

in Undetermined and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.00 for [Untersuch ... to 0.89 for Die gegenw ...)

Alternative Names
Gentzen, G.

Gentzen, Gerhard Karl Erich 1909-1945

Languages
German (58)

English (29)

French (23)

Italian (6)

Polish (1)

Spanish (1)

Covers
Logic's lost genius : the life of Gerhard GentzenGentzens Problem : mathematische Logik im nationalsozialistischen Deutschland