1. Alonso, E., & Manzano, M. (2005). Diagonalization and Church’s thesis: Kleene’s homework. History and Philosophy of Logic, 26(2), 93–113.
2. Church, A. (1940). A formulation of the simple theory of types. The Journal of Symbolic Logic, 5, 56–68.
3. Church, A. (1941). The calculi of lambda-conversion. Annals of mathematical studies. num. 6. Princeton, NJ: Princeton University Press.
4. Church, A. (1951). A formulation of the logic of sense and denotation. In Structure, methods and meaning, essays in honor of Henry M. Sheffer, New York (pp. 3–24). (Revisado en NOUS: Vol. 7 (1973), pp. 24–33; Vol. 8 (1974), pp. 135–156; and, Vol. 27 (1993), pp. 141–157.)
5. Gödel, K. (1930). The completeness of the axioms of the functional calculus of logic. In S. Feferman, J. W. Dawson, et al. (Eds.). (1986). Kurt Gödel collected works (Vols. I and II). Oxford: Oxford University Press.