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