Essays in Constructive Mathematics - Edwards, Harold M. (Springer International Publishing,)