1. Barwise, J., & Feferman, S. (Eds.) (1985). Model-theoretic logics. Perspectives in mathematical logic. Springer-Verlag.
2. Barwise, J, & Schlipf, J. (1976). An introduction to recursively saturated and resplendent models. Journal of Symbolic Logic, 41(2), 531–536.
3. Cieśliński, C. (2017). The epistemic lightness of truth: Deflationism and its logic. Cambridge University Press.
4. Doets, K. (1996). Basic model theory. Studies in logic, language and information. CSLI Publications.
5. Kaye, R. (1991). M͡odels of Peano arithmetic. Oxford Logic Guides (Vol. 15). Oxford Science Publications/The Clarendon Press/Oxford University Press.