algebra logiky
- systém matematickej logiky vypracovaný G. Boolom; časť matematickej logiky L53;14, 53). Systematizátorom algebry logiky je E. Schr"der