Bagaria, J. «El Legado De Turing En La lógica matemática Y Los Fundamentos De Las matemáticas». Arbor, vol. 189, n.º 764, diciembre de 2013, p. a079, doi:10.3989/arbor.2013.764n6002.