Bagaria, Joan. 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.