Two sets of axioms for Boolean algebras Diego, António; Suárez, Alberto — 1964 Portugaliae mathematica