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