Mehrsortige logische Systeme mit unendlich langen Formeln I.
Werner Carstengerdes (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Mehrsortige logische Systeme mit unendlich langen Formeln II.”
Mehrsortige logische Systeme mit unendlich langen Formeln I.
Prädikatenlogik mit partiell definierten Funktionen II.
Werner Markwald (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Quasideduktive Systeme und S-Algebren.II.
Joachim Bammert (1967)
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:
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II.
Wilhelm Ackermann (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
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 das Markov-Prinzip II.
Horst Luckhardt (1977)
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: