nLab
Gerhard Gentzen

References

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

category: people

Revised on June 7, 2016 09:14:59 by Thomas Holder (176.4.103.157)