Algebra and logic - Crossley, J N (Lecture Notes in Mathematics, No.0450, 1975)