Proof theoretical analysis of IDν by the method of local predicativity (0)

by Wolfram Pohlers
Venue:In