1. Aczel, P. and M. Rathjen (2001) Notes on Constructive Set Theory. Technical Report 40, Mittag-Leffler Institute, The Swedish Royal Academy of Sciences. Available on first author’s webpage
www.cs.man.ac.uk/petera/papers
2. Bell, J. L. (1993a) Hilbert’s Epsilon-Operator and Classical Logic, Journal of Philosophical Logic, 22, 1–18.
3. Bell, J. L. (1993b) Hilbert’s Epsilon Operator in Intuitionistic Type Theories, Mathematical Logic Quarterly, 39.
4. Bell, J. L. (2008) The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories. Mathematical Logic Quarterly, 54, 194–201.
5. Bell, J. L. (2009) The Axiom of Choice, London: College Publications.