Compact Hausdorff Heyting algebras
scientific article; zbMATH DE number 6646555
scientific article