1. Brouwer LEJ (1927) Über Definitionsbereiche von Funktionen. Math Ann 97:60–75
2. Brouwer LEJ (1949a) Consciousness, philosophy and mathematics. In: Proceedings of the 10th international congress of philosophy, Amsterdam 1948, 3:1235–1249
3. Brouwer LEJ (1949b) De non-aequivalentie van de constructieve en negatieve orderelatie in het continuum. Indag Math 11:37–39. Transl. “The non-equivalence of the constructive and the negative order relation in the continuum” in CW 1, pp 495–496
4. Kreisel G (1967) Informal rigour and completeness proofs. In: Musgrave A, Lakatos I (eds) International colloquium of philosophy of science. North-Holland, Amsterdam, pp 138–186
5. Myhill J (1966) Notes towards an axiomatization of intuitionistic analysis. Logique et Analyse 9:280–297