The exocenter of a double Heyting algebra
Tom 50 / 1986
Colloquium Mathematicum 50 (1986), 173-185
DOI: 10.4064/cm-50-2-173-185
