Primitiv-rekursive Funktionen auf Termmengen. Friedrich-Karl Mahn (1969) Archiv für mathematische Logik und Grundlagenforschung