Category:Named Theorems/Boole

This category contains results named for George Boole.

Irish mathematician famous for his work in the mathematization of logic, and the invention of what is now called Boolean algebra.