1982•Studia LogicaRequires access
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
W. Dziobiak
Open publisher page 10 citations
Abstract
This record does not include an abstract. Use the full-text link above if available.