Argumentaciones lógicas: El razonamiento matemático a través del ordenador. Iniciación a la Investigación, [S. l.], n. 1e, 2010. Disponível em: https://revistaselectronicas.ujaen.es/index.php/ininv/article/view/266.. Acesso em: 6 may. 2024.