A simplified version of local predicativity (1992)

by W Buchholz
Venue:Proof Theory