A more perspicuous system for predicativity (1979)

by S Feferman
Venue:Konstruktionen vs. Positionen I, de Gruyter, Berlin