Rekursionszahlen und die Grzegorczyk-Hierarchie.
Helmut Schwichtenberg (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.”
Rekursionszahlen und die Grzegorczyk-Hierarchie.
Ein Bezeichnungssystem für Ordinalzahlen.
Helmut Pfeiffer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein Bezeichnungssystem für Ordinalzahlen.
Helmut Pfeiffer (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über zwei Bezeichnungssysteme für Ordinalzahlen.
Helmut Pfeiffer (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.
Helmut Vogel (1977)
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:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
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:
Frege und die Schaltalgebra.
W. Hoering (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: