Relative Constructivity (1998)

by U Kohlenbach
Venue:Journal of Symbolic Logic