书名，由英国数学家及逻辑学家 布尔(Boole·George)著作。他用通常的代来自数符号并以等式来表示逻辑关系。这种分析可以说是对符号进行形式上的处理而抽出了符号所代表的具体涵义，后来规称之为"逻辑代数"。