1858
Fue quien por primera estableció el término de "Lógica matemática'.
Considerando a la Lógica como un instrumento de la Matemática y gracias a él se logró un gran desarrollo en el lenguaje simbólico. Propuso los puntos auxiliares en vez de los signos de agrupación.
Entre sus obras destacan: "El formulario matemático".
