Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
scientific article; zbMATH DE number 3943896