Algebraizable logics (1989)

by W J Blok, D Pigozzi
Venue:Memoirs of the American Mathematical Society 396