| 《逻辑代数讲义》 Vorlesungen über die Algebra der Logik 德国施罗德著。综合布尔和德·摩根关于逻辑代数的思想，于1890—1905年间写成，共3卷。它标志着逻辑代数已臻完善。该书完整地叙述了类演算、命题演算和关系演算。整理了类演算和命题演算，并给予系统的形式。对关系演算，则继皮尔斯之后，作了很大的推进。尽管该书依据的材料较陈旧，但处理方式新颖。如把逻辑代数的定理分为两组，而根据一个简单的互换法则，即相互交换“+”与“×”，“1”和“0”，就可从其中一组定理导出另一组定理。该书对现代数理逻辑发展有积极的影响。 |