1. Basic Propositional Calculus I
2. and Modal Logic (Cambridge University Press, Cambridge 2001).
3. and Algebraizable Logics. Memoirs of the American Mathematical Society, Vol. 396 (Amer. Math. Soc., Providence 1989).
4. On the structure of varieties with equationally definable principal congruences III
5. and Abstract algebraic logic and the deduction theorem. Bulletin of Symbolic Logic (to appear).