Book

Model-Theoretic Logics (Perspectives in Mathematical Logic)

by J. Barwise