Title: Primitiv-rekursive Funktionen in Peano-Algebren
Subjects: Recursive functions, Symbolic and mathematical Logic