Primitiv-rekursive Funktionen über einem Bereich endlicher Mengen. D. Rödding — 1966 Archiv für mathematische Logik und Grundlagenforschung