- Coffa A (1991). The semantic tradition from kant to carnap: To the Vienna station. Cambridge: Cambridge University Press.
- Halbach V (2014). Axiomatic theories of truth. Cambridge: Cambridge University Press.
- Henkin L (1949). The completeness of the first-order functional calculus. Journal of Symbolic Logic. 14(3):159-166.
- Hodges W (2001). Tarski’s truth definitions. The Stanford Encyclopedia of Philosophy (Winter 2022 Edition). Available from: https://plato.stanford.edu/archives/win2022/entries/tarskitruth/
- Mendelson E (2015). Introduction to mathematical logic. Princeton: Van Nostrand.
- Patterson D (2012). Alfred tarski: Philosophy of language and logic. London: PalgraveMacmillan.
- Tarski A (1944). The semantic conception of truth and the foundations of semantics. Journal of Symbolic Logic. 4(3):341-376.
- Tarski A (1956). Logic, semantics, metamathematics. Oxford: Clarendon Press.
- DeVidi D, Solomon G (1999). Tarski on “essentially richer” metalanguages. Journal of Philosophical Logic. 28(1):1-28.
- Ray G (2005). On the matter of essential richness. Journal of Philosophical Logic. 34(4):433-457.
