A set of six independent postulates for Boolean algebras.

From MaRDI portal
Publication:6000246