1. M. van Atten, The Creating Subject, the Brouwer – Kripke Schema, and infinite Proofs. This volume, 2018.
2. Foundations of Constructive Analysis;Bishop,1967
3. Über Definitionsbereiche von Funktionen;Brouwer;Math. Ann.,1927
4. Points and spaces;Brouwer;Canad. J. Math.,1954
5. Brouwer’s Cambridge Lectures on Intuitionism;Brouwer,1981