1. Badesa C.: The Birth of Model Theory. Löwenheim’s Theorem in the Frame of the Theory of Relatives. Princeton University Press, Princeton (2004)
2. Beth, E.: Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. Reidel, Dordrecht (1962)
3. Cann R.: Formal Semantics. An Introduction. Cambridge University Press, Cambridge (1993)
4. Hintikka, J.: On the development of the model-theoretic viewpoint in logical theory. Synthese 77, 1–36 (1988) (reprinted in [6, pp. 104–139]).
5. Hintikka, J.: Is truth ineffable? In: Scardona, N. (ed.) Les Formes Actuelles du Vrai: Entretiens de Palermo, pp. 89–120. Enhiridion, Palermo (1989) (reprinted in [6, pp. 20–45])