Ganzgeschlossene und prädikatgeschlossene Logiken I.
Jörg Flum (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Ganzgeschlossene und prädikatgeschlossene Logiken II.”
Ganzgeschlossene und prädikatgeschlossene Logiken I.
Maximale monadische Logiken.
Jörg Flum (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein konstruktives System von Ordinalzahlen. II.
Kurt Schütte (1969)
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:
Frege und die Schaltalgebra.
W. Hoering (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik.
Matthias Ragaz (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Mengeninduktion und Fundierungsaxiom.
R.B. Jensen, Max E. Schröder (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Dialogspiele als semantische Grundlage von Logikkalkülen. II. Die Rolle der Logikkalküle in der Theorie der Dialogspiele.
Kuno Lorenz (1967)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kodifikation und Aussagenlogik.
Horst Luckhardt (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: