Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra

Bulletin of the Section of Logic, Tom 10, Numer 4 (1981) s. 177-180
Wiesław Dziobiak