@article{1102706792, author = {Sankappanavar, H. P.}, title = {Heyting algebras with dual pseudocomplementation.}, journal = {Pacific J. Math.}, volume = {120}, number = {2}, year = {1985}, pages = { 405-415}, language = {en}, url = {http://dml.mathdoc.fr/item/1102706792} }
Sankappanavar, H. P. Heyting algebras with dual pseudocomplementation.. Pacific J. Math., Tome 120 (1985) no. 2, pp. 405-415. http://gdmltest.u-ga.fr/item/1102706792/