Constructivism In Mathematics door Anne S. Troelstra & D. van Dalen