Ordinal analysis of IDν (0)

by Wilfried Buchholz
Venue:In [9