J. Bagaria, «El legado de Turing en la lógica matemática y los fundamentos de las matemáticas», Arbor, vol. 189, n.º 764, p. a079, dic. 2013.