Primitiv-rekursive Funktionen auf Termmengen.
Friedrich-Karl Mahn (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “...-definierbare Funktionen auf Peanoalgebren.”
Primitiv-rekursive Funktionen auf Termmengen.
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:
Über die mit Stackautomaten berechenbaren Funktionen.
Horst Müller (1970)
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:
Prädikatenlogik mit partiell definierten Funktionen.
Werner Markwald (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
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:
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: