Model Theory: The Algebraic Basics (Trends in Logic, 70)

Model Theory versus Proof within General Algebraic Logic

Heyting Algebras: Duality Theory (Trends in Logic, Band 50)

Logic and Implication: An Introduction to the General Algebraic Study of Non...

Finite Model Theory: First Edition (Perspectives in Mathematical Logic)