Argumentaciones lógicas: El Razonamiento matemático a través Del Ordenador. Ini. Inv. 2010, No. 1e.