Arnulf Hirschelmann

• Primitiv-rekursive Funktionen in Peano-Algebren