Systems of Predicative Analysis II (1968)

by S Feferman
Venue:Journal of Symbolic Logic