Model-theoretic logics - Barwise, Jon, 1942-2000; Feferman, Solomon, 1928-2016 (Perspectives in mathematical logic, 1985)