A theorem in Boolean algebra.

From MaRDI portal
Publication:1834887