The Computational Complexity of the Theory of Boolean Algebra Without Atomic Elements

• 无原子布氏代数理论的计算复杂性