%0 Journal Article %1 journals/jsyml/Dubhashi92 %A Dubhashi, Devdatt P. %D 1992 %J J. Symb. Log. %K dblp %N 3 %P 988-991 %T On Decidable Varieties of Heyting Algebras. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml57.html#Dubhashi92 %V 57

@article{journals/jsyml/Dubhashi92, added-at = {2014-08-05T00:00:00.000+0200}, author = {Dubhashi, Devdatt P.}, biburl = {https://www.bibsonomy.org/bibtex/275e9160510bce12845a177db630acb71/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183744053}, interhash = {bd8f5c42268389acd45f1cf8f0929324}, intrahash = {75e9160510bce12845a177db630acb71}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {988-991}, timestamp = {2015-04-30T09:18:00.000+0200}, title = {On Decidable Varieties of Heyting Algebras.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml57.html#Dubhashi92}, volume = 57, year = 1992 }