nLab
Gerhard Gentzen

Wikipedia entry

Related pages

References

Gerhard Gentzen, Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen , Math. Ann. 107 (1933) pp. 329-350. (gdz)

category: people

Last revised on September 6, 2020 at 03:36:14. See the history of this page for a list of all contributions to it.