1. Boolos, G. S. and Jeffrey, R. C.; 1989, Computability and Logic, Cambridge University Press, 3rd. ed.
2. Cantor, G.: 1955, Contributions to the Founding of the Theory of Transfinite Numbers, Dover.
3. Castellani, E.: 1998, ‘Galilean Particles: An Example of Constitution of Objects’, in E. Castellani (ed.), Interpreting Bodies: Classical and Quantum Objects in Modern Physics, Princeton University Press, pp. 181–194.
4. Church, A.: 1956, Introduction to Mathematical Logic, Vol. 1, Princeton University Press.