"Model-theoretic logics" - читать интересную книгу автора (J. Barwise, S. Feferman, J. Baldwin)