Model-theoretic logics - Barwise, Jon; Feferman, Solomon; Baldwin, John T. (Perspectives in mathematical logic, 1985)