In his influential Laws of Thought (1854), the mathematician George Boole presented a formulation of logic using algebraic expressions and manipulations. His widow, Mary Everest Boole, undertook an ambitious project of disseminating his ideas by introducing la... ...

请注册登录后继续浏览