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