%0 Journal Article %A Feferman, Solomon %D 1964 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 1 %P 1-30 %T Systems of predicative analysis %V 29