Eine Bemerkung über den Kalkül des natürlichen Schließens.
Arnold Oberschelp (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Eine Bemerkung über quasirekursive Funktionen.”
Eine Bemerkung über den Kalkül des natürlichen Schließens.
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:
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen.
H. Bremer, C.H.H. Reynvaan (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
...-definierbare Funktionen auf Peanoalgebren.
Gerd Mitschke (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchien primitiv-rekursiver Funktionen im Transfiniten.
M.E. Schröder (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über die mit Stackautomaten berechenbaren Funktionen.
Horst Müller (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen.
Heinz-Dieter Ebbinghaus (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Eine Variante des Ordinalzahlbezeichnungssystems ... .
H. Vogel (1982)
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: