Cofnod E-bost: El razonamiento lógico matemático desde los procesos algebraicos