1. Barwise, J. (Ed.): 1977, Handbook of Mathematical Logic, North-Holland, Amsterdam.
2. Beeson, M. J.: 1985, Foundations of Constructive Mathematics, Springer-Verlag, Berlin.
3. Bishop, Errett: 1967, Foundations of Constructive Analysis, McGraw-Hill, New York.
4. Bishop, Errett: 1970, ‘Mathematics as a numerical language’, in A. Kino, J. Myhill and R. Vesley (Eds.), Intuitionism and Proof Theory, North-Holland, Amsterdam.
5. Bishop, Errett and Bridges, Douglas: 1985, Constructive Analysis, Grundlehren der math. Wissenschaften, Bd 279, Springer-Verlag, Berlin.