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