1. Coffa, Alberto (1991). The Semantic Tradition From Kant to Carnap: To the Vienna Station. Cambridge University Press.
Halbach, Volker and Horsten, Leon (2006). Axiomatizing Kripke’s Theory of Truth. Journal of Symbolic Logic 71 (2):677 - 712.
Henkin, Leon (1949). The completeness of the first-order functional calculus. Journal of Symbolic Logic 14 (3):159-166.
Hodges, Wilfrid, "Tarski’s Truth Definitions", The Stanford Encyclopedia of Philosophy (Winter 2022 Edition), Edward N. Zalta and Uri Nodelman (eds.).
Mendelson, Elliott (2015). Introduction to Mathematical Logic. Princeton: Van Nostrand.
Patterson, Douglas (2012). Alfred Tarski: Philosophy of Language and Logic. Basingstoke and London, UK: Palgrave-Macmillan.
Tarski, Alfred (1944). The Semantic Conception of Truth and the Foundations of Semantics. Journal of Symbolic Logic 9 (3):68-68.
Tarski, Alfred (1956). Logic, Semantics, Metamathematics. Oxford, Clarendon Press.
DeVidi, David and Solomon, Graham (1999). Tarski on “essentially richer” metalanguages. Journal of Philosophical Logic 28 (1):1-28.
Ray, Greg (2005). On the Matter of Essential Richness. Journal of Philosophical Logic 34 (4):433-457.
2. The Semantic Tradition from Kant to Carnap
3. Axiomatic Theories of Truth
4. The completeness of the first-order functional calculus
5. Hodges W (2001). Tarski's truth definitions. The Stanford Encyclopedia of Philosophy (Winter 2022 Edition). Available from: https://plato.stanford.edu/archives/win2022/entries/tarski-truth/