1. Auerbach, D. 1985. Intensionality and the Gödel theorems. Philosophical Studies 48: 337–351.
2. Auerbach, D. 1992. How to say things with formalisms. In Proof, logic and formalization, ed. M. Detlefsen, 77–93. London: Routledge.
3. Bigelow, J.C. 1978. Believing in semantics. Linguistics and Philosophy 2: 101–144.
4. Boolos, G. 1995. The logic of provability. Cambridge: Cambridge University Press.
5. Carnap, R. 1947. Meaning and necessity. Chicago: University of Chicago Press.