Modelltheoretische Untersuchungen in der Kripke-Semantik.
Horst Osswald (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der reukrsiven Unlösbarkeit.”
Modelltheoretische Untersuchungen in der Kripke-Semantik.
Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen.
Thomas Eichholz (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Relationen- und Prädikatenlogische Untersuchungen zur Syllogistik.
Jürgen v. Kempski (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über die Bestimmbarkeit des Verhaltens von Algorithmen.
Klemens Döpp (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Anzahlquantoren in der Prädikatenlogik
Dieter Rödding (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes.
Günter Baigger (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die Vollständigkeit des Operatorensystems {..., ..., ..., ...} für die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik.
Franz v. Kutschera (1967)
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:
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:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
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: