Constructivism in mathematics : an introduction. - Troelstra, A. S. (Anne Sjerp) (Studies in logic and the foundations of mathematics, 1988)