Varianten von Turingmaschinen.
Walter Oberschelp (1958)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalküls.”
Varianten von Turingmaschinen.
Über Einfachheitsprinzipien in der Wahrscheinlichkeitstheorie I.
Walter Oberschelp (1960/61)
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 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:
Elementarer Beweis des Pohlkeschen Fundamentalsatzes der Axonometrie.
H. Schwarz (1864)
Journal für die reine und angewandte Mathematik
Similarity:
Eine Variante des Ordinalzahlbezeichnungssystems ... .
H. Vogel (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Mengentheoretische Modelle des ...K-Kalküls.
Michael v. Rimscha (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Eine Verallgemeinerung des Hauptsatzes von Gentzen.
Peter Zahn (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein System des verknüpfenden Schliessens.
Kurt Schütte (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: