nLab
Gerhard Gentzen

• Wikipedia entry

Related pages

• natural deduction

• sequent calculus

• Paul Hertz

• David Hilbert

• formalism

References

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

category: people