Abstract model theory approach to algebraic logic (1984)

by H Andréka, I Némety, I Sain