Słownik pojęć matematycznych
Algebra Boolea
System logiki matematycznej używający symboliki teorii zbiorów do przedstawienia logicznych operacji w formie matematycznej. Był to pierwszy system logiczny używający metod algebraicznych do powiązania symboli w dowodach i dedukcji.