Bagaria, J. 2013. El legado de Turing en la lógica matemática y los fundamentos de las matemáticas. Arbor. 189, 764 (dic. 2013), a079. DOI:https://doi.org/10.3989/arbor.2013.764n6002.