He wrote a famous text Foundations of constructive analysis (1967) which aimed to show that a constructive treatment of analysis is feasible. B van Rootselaar, reviewing the text, wrote:
Siya wrote isang bantog na teksto ng komunidad ng mga nakatutulong na pagtatasa (1967) na naglalayong upang ipakita na ang isang liwanag ng paggamot ng mga pagtatasa ay maaaring gawin. B van Rootselaar, suriin ang mga teksto, wrote: