Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
Gespeichert in:
Verfasser / Beitragende:
[Gerhard Gentzen]
Ort, Verlag, Jahr:
1933
Enthalten in:
Mathematische Annalen, 107/1(1933-12-01), 329-350
Format:
Artikel (online)
Online Zugang: