TY - JOUR AU - S. Feferman TI - Transfinite recursive progressions of axiomatic theories JO - Matematika PY - 1971 SP - 84 EP - 139 VL - 15 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAT_1971_15_5_a9/ LA - ru ID - MAT_1971_15_5_a9 ER -