Essays in Constructive Mathematics - Edwards, Harold M. (Springer New York, 2005)