Alcolea Banegas, J. 2007. Razonamientos no rigurosos y demostraciones asistidas por ordenador. Contrastes. Revista Internacional de Filosofía. 12, (feb. 2007). DOI:https://doi.org/10.24310/Contrastescontrastes.v12i0.1432.