Categories: Algebra | Abstract algebra | Logic | Mathematical logic
Boolean algebra is a simple mathematical model of elementary formal logic.