Ein Bezeichnungssystem für Ordinalzahlen.
Helmut Pfeiffer (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Ein Bezeichnungssystem für Ordinalzahlen.”
Ein Bezeichnungssystem für Ordinalzahlen.
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.
Helmut Vogel (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Rekursionszahlen und die Grzegorczyk-Hierarchie.
Helmut Schwichtenberg (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein konstruktives System von Ordinalzahlen.
Kurt Schütte (1967)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein Vollständigkeitsbeweis für die aussagenlogischen Modalitätensysteme M, S4, Br und S5.
J. Czermak (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.
Franz v. Kutschera (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.
Horst Luckhardt (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
Wilfried Buchholz (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Protologische Untersuchugen I: ein allgemeiner Rahmen für naturgemässe Deduktion.
H. Arnold Schmidt (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein System des verknüpfenden Schliessens.
Kurt Schütte (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: