1. Aczel, P., Rathjen, M.: Notes on Constructive Set Theory. Report No. 40. Institut Mittag–Leffler. Royal Swedish Academy of Sciences. (2001)
2. Armstrong M.A.: Basic Topology. Springer, New York (1983)
3. Berger J.: The fan theorem and uniform continuity. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds) Computability in Europe. Lecture Notes in Computer Science, vol. 3526, pp. 18–22. Springer, Berlin (2005)
4. Berger J., Bridges D.S.: The fan theorem and positive-valued uniformly continuous functions on compact intervals. N. Z. J. Math. 38, 129–135 (2008)
5. Bishop E.A.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)