Set-theoretic foundations for constructive analysis (0)

by H Friedman
Venue:Ann. Math