1. Alcolea Banegas, J. (1997). Demostración como communicación. In A. Estany & D. Quesada (Eds.), Actas del II Congreso de la Sociedad de Lógica, Metodología y Filosofia de la Ciencia en España (pp. 73–77). Barcelona: Servicio de Publicaciones de la Universidad Autónoma Barcelona.
2. Appel, K., & Haken, W. (1977). The solution of the four-color-map problem. Scientific American, 237(4), 108–121.
3. Gödel, K. (1995). Unpublished philosophical essays. Basel: Birkhäuser.
4. Hersh, R. (1997). Prove—Once more and again. Philosophia Mathematica, 5, 153–165.
5. Moore, G. H. (1982). Zermelo’s axiom of choice. Berlin: Springer.