Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.
Wilhelm Ackermann (1958)
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 typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II.”
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.
Ein konstruktives System von Ordinalzahlen. II.
Kurt Schütte (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
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 verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.
Franz v. Kutschera (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin.
Jürgen-Michael Glubrecht (1982)
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:
Generalized quantifiers and well orderings.
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Generalized ultrapowers.
Joram Hirschfeld (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über die Homogenisierbarkeit von Rechenprogrammen.
Klemens Döpp (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: