Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen

Verfasser / Beitragende:
[Gerhard Gentzen]
Ort, Verlag, Jahr:
1933
Enthalten in:
Mathematische Annalen, 107/1(1933-12-01), 329-350
Format:
Artikel (online)
ID: 443901201