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