Bagaria, Joan. «El Legado De Turing En La lógica matemática Y Los Fundamentos De Las matemáticas». Arbor 189, no. 764 (diciembre 30, 2013): a079. Accedido abril 25, 2024. https://arbor.revistas.csic.es/index.php/arbor/article/view/1881.