Über die Bestimmbarkeit des Verhaltens von Algorithmen.
Klemens Döpp (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Eine Variante des Ordinalzahlbezeichnungssystems ... .”
Über die Bestimmbarkeit des Verhaltens von Algorithmen.
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes.
Günter Baigger (1985)
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:
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:
Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.
Jörg Flum (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik.
Kurt Schütte (1964/65)
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:
Generalized ultrapowers.
Joram Hirschfeld (1980)
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:
Eine Unableitbarkeitsmethode für den intuitionistischen Aussagenkalkül.
G. Kreisel, H. Putnam (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: