Algebraizable logics / - Blok, W. J. (American Mathematical Society, 1989)