Ü. L. Éršov. Razréšimost′ eléméntarnoj téorii distributivnyh struktur s otnositél′nyml dopolnéniámi i téorii fil′trov (Decidability of the elementary theory of relatively complemented distributive lattices and of the theory of filters). Algébra i logika, Séminar, vol. 3 no. 3 (1964) pp. 17–38.
Fred Galvin · Journal of Symbolic Logic · 1969
Ü. L. Éršov. Razréšimost′ eléméntarnoj téorii distributivnyh struktur s otnositél′nyml dopolnéniámi i téorii fil′trov (Decidability of the elementary theory of relatively complemented distributive lattices and of the theory of filters). Algébra i logika, Séminar, vol. 3 no. 3 (1964) pp. 17–38. - Volume 34 Issue 1