The following pages link to Gerhard Gentzen (Q6481809):
Displaying 1 item.
- (Q1353257) (redirect page) (← links)
- (Q562833) (redirect page) (← links)
- Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. (Q562834) (← links)
- Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen (Q1353259) (← links)
- Untersuchungen über das logische Schliessen. I (Q1840142) (← links)
- Untersuchungen über das logische Schliessen. II (Q1840143) (← links)
- Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. (Q2595469) (← links)
- Come si deduce. (Q2598588) (← links)
- Der Unendlichkeitsbegriff in der Mathematik. (Q2601618) (← links)
- Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik. (Q2603452) (← links)
- Die Widerspruchsfreiheit der Stufenlogik. (Q2605697) (← links)
- Untersuchungen über das logische Schließen. I. (Q2616497) (← links)
- Untersuchungen über das logische Schließen. II. (Q2619865) (← links)
- Die Widerspruchsfreiheit der Stufenlogik (Q2645424) (← links)
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie (Q2647392) (← links)
