Primitiv-rekursive Ordinalzahlfunktionen - Schütte, Kurt (Verl. der Bayer. Akad. der Wiss., 1976)