1847: George Boole formaliza Lógica simbólica en El análisis matemático de la lógica, definiendo al que ahora llaman el álgebra de Boole.

1847: George Boole formaliza Lógica simbólica en El análisis matemático de la lógica, definiendo al que ahora llaman el álgebra de Boole.
Volver