Quasideduktive Systeme und S-Algebren.
Joachim Bammert (1967)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Quasideduktive Systeme und S-Algebren.II.”
Quasideduktive Systeme und S-Algebren.
Mehrsortige logische Systeme mit unendlich langen Formeln II.
Werner Carstengerdes (1971)
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:
Mehrsortige logische Systeme mit unendlich langen Formeln I.
Werner Carstengerdes (1971)
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:
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:
Ü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:
Mengeninduktion und Fundierungsaxiom.
R.B. Jensen, Max E. Schröder (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: