Constructivism in mathematics an introduction. vol.I - Troelstra, A.S; Dalen, D., van (Studies in logic and the foundations of mathematics, 1988)