Six new sets of independent axioms for distributive lattices with 0 and 1

From MaRDI portal
Publication:2394411