Seol mar théacs é seo: Corrección y correcciones de los cálculos lógicos de Leibniz