Über das Markov-Prinzip II.
Horst Luckhardt (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Über das Markov-Prinzip.”
Über das Markov-Prinzip II.
Das Auflösungsproblem in der Klassenlogik.
Heinrich Behmann (1950/52)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kodifikation und Aussagenlogik.
Horst Luckhardt (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kripke-Semantik der derivativen Prädikatelogik.
Horst Luckhardt (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Das Vereinfachungsproblem für aussagenlogische Normalformen.
Heinrich Behmann (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Von Wright's relative Modalitäten.
Horst Luckhardt (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Aussagenlogisch fundierte Theorien.
Horst Luckhardt (1966)
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:
Generalized ultrapowers.
Joram Hirschfeld (1980)
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:
Mengeninduktion und Fundierungsaxiom.
R.B. Jensen, Max E. Schröder (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: