nLab
Gerhard Gentzen
Related pages
References
- Gerhard Gentzen, Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen , Math. Ann. 107 (1933) pp. 329-350. (gdz)
Last revised on June 7, 2016 at 09:14:59.
See the history of this page for a list of all contributions to it.