Constructivism in Mathematics: An Introduction - Troelstra, A.S (North - Holland, 1991)