1. Comments on Shapiro;Azzouni;Journal of Philosophy,1999
2. Barwise John (ed.) 1977: Handbook of Mathematical Logic. Amsterdam: North-Holland.
3. Detlefsen Michael (ed.) 1992: Proof, Logic, and Formalization. London: Routledge.
4. Dummett Michael 1963: ‘The Philosophical Significance of Gödel’s Theorem’. Reprinted in Dummett 1978, pp. 186–214.
5. Dummett Michael 1978: Truth and Other Enigmas. Cambridge, MA: Harvard University Press.