Ein Beitrag zur Ordnungstheorie.
G. Hasenjaeger (1950/52)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.”
Ein Beitrag zur Ordnungstheorie.
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
Martin Wirsing (1978)
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:
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes.
Günter Baigger (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln.
Hans Hermes, Heinz Gumin (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zur Stufenreduktion von Kalkülen.
Herbert Fiedler (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über die Axiome arithmetischer Klassen mit Abgeschlossenheitsbedingungen.
Arnold Oberschelp (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.
P. Lorenzen (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Eine Variante des Ordinalzahlbezeichnungssystems ... .
H. Vogel (1982)
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: