TY - JOUR AU - P. AXT TI - Iteration of Relative Primitive Recursion JO - Mathematische Annalen PY - 1966 SP - 53 EP - 55 VL - 167 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAN_1966__167_161470/ ID - MAN_1966__167_161470 ER -