书名。*布尔著。1847年出版。该书使用通常的代数符号并设法以等式来表示逻辑关系，把逻辑推演转化为代数演算，建立了逻辑史上第一个逻辑代数的形式系统。