Constructive Analysis door E. Bishop