TY - GEN AU - Schütte, Kurt T1 - Primitiv-rekursive Ordinalzahlfunktionen CY - PY - 1975 PB -