Boolean algebra
Boolean data type
ALGOL 68
Software engineering
Computing
Programming language theory