Schütte, Kurt: Primitiv-rekursive Ordinalzahlfunktionen. 19750: