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