Login
Type of document: Manuscript
Language: English
Author(s): Ershov, Yu. L.
Title: Decidability of the Elementary Theory of Distributive Lattices with Relative Complements and of the Theory of Filters
Year: 1964
Pages: 1-14