I'm looking preferably for any survey articles on constructivism in the Philosophy of Mathematics - including Intuitionism in the tradition of Brouwer.
Hopefully such an article(s) will cover:
Motivation (for mathematical and philosophical) for constructivism/intuitionism
The main proponents of the view (including their differing stances) and a tracing of its development since Brouwer
An exposition of the main components of constructivism/intuitionism in the context of the Philosophy of Mathematics
Notable objections and substantiations of them
Potential for future work, including modern reconstructions of the theory
Rather than a list of articles for each point - a lot of which I already have - I'm hoping someone can point me towards a full expository reference covering all of these thoughts.