Pointwise hereditary majorization and some applications (1992)

by Ulrich Kohlenbach
Venue:Arch. Math. Logic
Citations:14 - 11 self