Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.
Gerhard Gentzen (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Gerhard Gentzen (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
J. Czermak (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
G. Gentzen (1943)
Mathematische Annalen
Similarity:
Horst Luckhardt (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Franz v. Kutschera (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kurt Schütte (1967)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Arnold Schmidt (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
J. Schmidt, W. Felscher (1958)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kurt Schütte (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Wilfried Buchholz (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: