1. Studies in Logic and the Foundations of Mathematics;J Avigad,1998
2. Lecture Notes in Comput. Sci.;J Berger,2005
3. Lecture Notes in Comput. Sci.;J Berger,2006
4. Bridges, D., Richman, F.: Varieties of Constructive Mathematics. Cambridge University Press, Cambridge (1987)
5. Brouwer, L.E.J.: Über Definitionsbereiche von Funktionen. Math. Ann. 97, 60–75 (1927) (English translation of sections 1–3 in van Heijenoort, J.: From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, pp. 457–463. Harvard University Press, Cambridge, MA (1967))