Aunque no se centra explícitamente en la solución de ecuaciones, este libro aborda la formalización de las matemáticas y la lógica subyacente de una manera que Boole habría apreciado. Es una profundización en el espíritu de la lógica matemática, más que una extensión directa de su álgebra.























