Algebra and logic (Plenum Pub.)