Constructivism in Mathematics: An Introduction. - Troelstra, A. S. (Studies in Logic and the Foundations of Mathematics Ser.)