1680s: Gottfried Leibniz trabaja sobre lógica simbólica.

1680s: Gottfried Leibniz trabaja sobre lógica simbólica.