Constructivism in Mathematics, Vol 1