Systems of predicative analysis (1964)

by S Feferman
Venue:Journal of Symbolic Logic