Stav dette: Diseño de estrategias basadas en el razonamiento lógico para la solución de problemas matemáticos