1. Church, A. 1936. An unsolvable problem of elementary number theory. American Journal of Mathematics 58: 345–363.
2. Copeland, B.J. (ed.). 2004. The essential Turing: The ideas that gave birth to the computer age. Oxford: Clarendon Press.
3. Dreben, B., and J. Floyd. 1991. Tautology: How not to use a word. Synthese 87(1): 23–50.
4. Floyd, J. 2001. Prose versus proof: Wittgenstein on Gödel, Tarski and Truth. Philosophia Mathematica 3(9): 901–928.
5. Fogelin, R.J. 1987. Wittgenstein. London/New York: Routledge & K. Paul.