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