Media type: E-Article Title: On Decidable Varieties of Heyting Algebras Contributor: Dubhashi, Devdatt P. Published: Association for Symbolic Logic, Inc., 1992 Published in: The Journal of Symbolic Logic, 57 (1992) 3, Seite 988-991 Language: English ISSN: 0022-4812 Origination: Footnote: