1. Beth, E.W.: The Foundations of Mathematics. A Study in the Philosophy of Science. North-Holland, Amsterdam (1959), chp.s X, XII, XIV (in a reduced version: Foundations of Mathematics, Harper, New York, 1959, ch. I, 2)
2. Bishop, E.: Constructive Analysis. Mc Graw-Hill, New York (1967)
3. Brouwer, L.E.W.: Unreliability of the logical principles. In: Brouwer, L.E.J. (ed.) [1975] Collected Works, pp. 107–111. North-Holland, Amsterdam (1908)
4. Brouwer L.E.J.: Intuitionistische Betrachtungen ueber der Formels. In: Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Amsterdam, vol. 31, pp. 374–379 (1927), also as 1927b paper in Brouwer L.E.J. [1975] Collected... , op. cit., pp. 409–417
5. Drago, A.: A.N. Kolmogoroff and the relevance of the double negation law in science. In: Sica, G. (ed.) Essays on the Foundations of Mathematics and Logic, pp. 57–81. Polimetrica, Milan (2005)