Countable Boolean Algebras and Decidability - Sergey Goncharov - Google Books

https://books.google.de/books?id=BwroiP0IJcYC&pg=PA39#v=onepage

This book describes the latest Russian research covering the structure and algorithmic properties of Boolean algebras from the algebraic and model-theoretic points of view. A significantly revised version of the author's Countable Boolean Algebras (Nauka,…