Works
- The Mathematical Analysis of Logic, 1847
- An Investigation of the Laws of Thought, 1854
In Thinking Tools
Known for
An English mathematician who recast logic as an algebra of classes and propositions. The algebra that carries his name underlies propositional logic and digital circuit design.