Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
Kurt Schütte, Justus Diller (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.”
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
Primitiv-rekursive Funktionen über einem Bereich endlicher Mengen.
D. Rödding (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Interpretationen der Heyting-Arithmetik endlicher Typen.
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zu den primitiv-rekursiven Funktionen über einem Bereich endlicher Mengen.
F.-K. Mahn (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Arithmetische Prädikate über einem Bereich endlicher Automaten.
Th. Ottmann (1974)
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:
Über die Homogenisierbarkeit von Rechenprogrammen.
Klemens Döpp (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Frege und die Schaltalgebra.
W. Hoering (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Mengeninduktion und Fundierungsaxiom.
R.B. Jensen, Max E. Schröder (1969)
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: