@article{1183527953, author = {Feferman, S.}, title = {Predicative provability in set theory}, journal = {Bull. Amer. Math. Soc.}, volume = {72}, number = {4}, year = {1966}, pages = { 486-489}, language = {en}, url = {http://dml.mathdoc.fr/item/1183527953} }
Feferman, S. Predicative provability in set theory. Bull. Amer. Math. Soc., Tome 72 (1966) no. 4, pp. 486-489. http://gdmltest.u-ga.fr/item/1183527953/