Book

Model-Theoretic Logics

by J. Barwise, S. Feferman