2010. Argumentaciones lógicas: El razonamiento matemático a través del ordenador. Iniciación a la Investigación. 1e (Mar. 2010).