1. Aspray, W., Kitcher, P. (eds.): History and Philosophy of Modern Mathematics. University of Minnesota Press, Minneapolis (1988)
2. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
3. Davis, M.: Engines of Logic: Mathematicians and the Origins of the Computer. W.W. Norton & Co. New York (2000)
4. Davis, P.J., Hersh, R: The Mathematical Experience. Birkhäuser, Boston (1981) (Revised Study Edition, with E. Marchisotto, 1995)
5. De Millo, R.A., Lipton, R.J., Perlis, A.J.: Social processes and proofs of theorems and programs. Communications of the ACM 22, 271–280 (1979)