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