Darstellungen der (im Kalmar-Csillag'schen Sinne) elementaren Funktionen.
Dieter Rödding (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Über Darstellungen der elementaren Funktionen II.”
Darstellungen der (im Kalmar-Csillag'schen Sinne) elementaren Funktionen.
Prädikatenlogik mit partiell definierten Funktionen II.
Werner Markwald (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ganzgeschlossene und prädikatgeschlossene Logiken II.
Jörg Flum (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Anzahlquantoren in der Prädikatenlogik
Dieter Rödding (1971)
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:
Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen.
Heinz-Dieter Ebbinghaus (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein konstruktives System von Ordinalzahlen. II.
Kurt Schütte (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
...-definierbare Funktionen auf Peanoalgebren.
Gerd Mitschke (1972)
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 für-fast-alle-Quantoren.
Heinz-Dieter Ebbinghaus (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: