Literatur
Church, A.: The calculi of lambda-conversion. Annals of Math. Studies 6, Princeton, 1941.
Curry, H. B., Feys, R.: Combinatory logic. Amsterdam 1958.
Hermes, H.: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Berlin, Göttingen, Heidelberg 1961.
Mahn, F. K.: Primitiv rekursive Funktionen auf Termmengen. Archiv für mathematische Logik und Grundlagenforschung12 (1968).
Péter, R.: Über die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur als Definitionsbereiche. Acta Math. Ac. Sc. Hung.12 (1961),13 (1962).
Schmidt, J.: Über die Dimension einer partiellen Algebra mit endlichen oder unendlichen Operationen. ZML11, (1965).
Schwenkel, F.: Rekursive Wortfunktionen über unendlichen Alphabeten. ZML11 (1965).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mitschke, G. λ-definierbare Funktionen auf Peanoalgebren. Arch math Logik 15, 31–35 (1972). https://doi.org/10.1007/BF02019773
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02019773