Describir: Corrección y correcciones de los cálculos lógicos de Leibniz