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