Ein konstruktives System von Ordinalzahlen.
Kurt Schütte (1967)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Ein konstruktives System von Ordinalzahlen. II.”
Ein konstruktives System von Ordinalzahlen.
Ganzgeschlossene und prädikatgeschlossene Logiken II.
Jörg Flum (1971)
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 System des verknüpfenden Schliessens.
Kurt Schütte (1954/56)
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 Bezeichnungssystem für Ordinalzahlen.
Helmut Pfeiffer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein Bezeichnungssystem für Ordinalzahlen.
Helmut Pfeiffer (1969)
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:
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II.
Wilhelm Ackermann (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: