- D. M. Burton, the History of Mathematics: an Introduction, McGraw-Hill, 2011.
- A. Church, «An Unsolvable Problem of Elementary Number Theory,» American Journal of Mathematics, vol. 58, nº 2, pp. 345-363, 1936.
- V. Evans, B. K. Bergen y J. Zinken, «The Cognitive Linguistics Enterprise: An Overview,» The Cognitive Linguistics Reader, pp. 1-36, 2007.
- E. Filiol, Computer Viruses: from Theory to Applications, Springer, 2005.
- P. Günwald and P. Vitányi, “Shannon Information and Kolmogorov Complexity,” arXiv:cs/0410002v1 [cs:IT], 2008.
- J. E. Hopcroft, R. Motwani y J. D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 2001.
- S. C. Kleene, Introduction to Metamathematics, Van Nostrand, Princeton, NJ, 1952.
- S. C. Kleene, Mathematical Logic, New York: Wiley, 1967.
- M. A. Nielsen and I. L. Chuang, Quantum computation and Quantum Information, Cambridge University Press, 2011.
- G. Paun, G. Rozemberg y A. Salomaa, DNA Computing: New Computing Paradigms, Springer, 2006.
- C. E. Shannon, «A Mathematical Theory of Communication,» The Bell System Technical Journal, vol. 27, pp. 379-423, 1948.
- C. E. Shannon, W. Weaver, a Mathematical Theory of Communication, University of Illinois Press, 1964.
- M. Sipser, Introduction to the Theory of Computation, Wadsworth Publishing Co Inc, 2012.
- A. M. Turing, «On computable numbers, with an application to the Entscheidungsproblem.,» Proceedings, London Mathematical Society, pp. 230-265, 1936.
- A. N. Whitehead y B. Russell, Principia Mathematica, Cambredge University Press, 1910.