Countable Boolean Algebras and Decidability by Sergei S. Goncharov & Sergei Goncharov