Pointwise hereditary majorization and some applications (1992)

by U Kohlenbach
Venue:Arch. Math. Logic