Boolean Algebras and Distributive Lattices Treated Constructively
scientific article; zbMATH DE number 1271042
scientific article