Constructivism in Mathematics, Studies in Logic and the Foundations of Mathematics