Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.
Egon Börger (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Ein Beitrag zur Ordnungstheorie.”
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.
Ein Vollständigkeitsbeweis für die aussagenlogischen Modalitätensysteme M, S4, Br und S5.
J. Czermak (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.
Franz v. Kutschera (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein Beitrag zur Mannigfaltigkeitslehre
August Buchholz
Similarity:
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.
Horst Luckhardt (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein Beitrag zur Deckungskapitalberechnung
Ernst Zwinggi (1933)
Aktuárské vědy
Similarity:
Ein Beitrag zur Gruppenaxiomatik
P. Lorenzen (1943)
Mathematische Zeitschrift
Similarity:
Ein konstruktives System von Ordinalzahlen.
Kurt Schütte (1967)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
Wilfried Buchholz (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: