Systems of Predicative Analysis (1964)

by Solomon Feferman
Venue:Journal of Symbolic Logic