Boolean algebra
Propositional calculus
Calculus
Logical disjunction
BRST quantization
Abstract algebra
Mathematics
Mathematical logic