General theory of boolean algebras by Koppelberg