A more perspicuous formal system for predicativity (1979)

by S Feferman
Venue:Walter de Gruyter