1. Alexandrov, P.S.: Die Topologie in und um Holland in den Jahren 1920–1930. Nieuw Arch. Wiskd. 17, 109–127 (1969)
2. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
3. Bishop, E., Bridges, D.: Constructive Analysis. Springer, Berlin (1985)
4. Brouwer, L.E.J.: Over de grondslagen der wiskunde. Ph.D. thesis, Amsterdam (1907)
5. Brouwer, L.E.J.: Intuitionism and formalism. Bull. Am. Math. Soc. 20, 81–96 (1913b)