Mehrsortige logische Systeme mit unendlich langen Formeln II.
Werner Carstengerdes (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Mehrsortige logische Systeme mit unendlich langen Formeln I.”
Mehrsortige logische Systeme mit unendlich langen Formeln II.
Prädikatenlogik mit partiell definierten Funktionen.
Werner Markwald (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
Martin Wirsing (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Quasideduktive Systeme und S-Algebren.
Joachim Bammert (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:
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik.
Matthias Ragaz (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (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:
Aussagenlogisch fundierte Theorien.
Horst Luckhardt (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Frege und die Schaltalgebra.
W. Hoering (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: