TY - JOUR AU - S. Feferman TI - Classifications of recursive functions by means of hierarchies JO - Matematika PY - 1971 SP - 137 EP - 158 VL - 15 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAT_1971_15_6_a5/ LA - ru ID - MAT_1971_15_6_a5 ER -