Primitiv-rekursive Funktionen über einem Bereich endlicher Mengen.
D. Rödding (1966)
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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Zu den primitiv-rekursiven Funktionen über einem Bereich endlicher Mengen.”
Primitiv-rekursive Funktionen über einem Bereich endlicher Mengen.
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
Kurt Schütte, Justus Diller (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
Stephen G. Simpson (1985)
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:
Über den Aussagenkalkül der Experimentalaussagen.
Jean-Louis Destouches (1954/56)
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:
Hierarchien primitiv-rekursiver Funktionen im Transfiniten.
M.E. Schröder (1970)
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:
...-definierbare Funktionen auf Peanoalgebren.
Gerd Mitschke (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: