Set-theoretic foundations for constructive analysis (1977)

by H Friedman
Venue:Annals of Mathematics