Voir la notice de l'article provenant de la source Math-Net.Ru
@article{MAT_1971_15_5_a9, author = {S. Feferman}, title = {Transfinite recursive progressions of axiomatic theories}, journal = {Matematika}, pages = {84--139}, publisher = {mathdoc}, volume = {15}, number = {5}, year = {1971}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/MAT_1971_15_5_a9/} }
S. Feferman. Transfinite recursive progressions of axiomatic theories. Matematika, Tome 15 (1971) no. 5, pp. 84-139. http://geodesic.mathdoc.fr/item/MAT_1971_15_5_a9/