Foundations of constructive analysis (McGraw-Hill (1967)

by E BISHOP