A set of postulates for the Boolean algebra.

From MaRDI portal
Publication:6000147