Bagaria J. El legado de Turing en la lógica matemática y los fundamentos de las matemáticas. Arbor [Internet]. 30 de diciembre de 2013 [citado 26 de abril de 2024];189(764):a079. Disponible en: https://arbor.revistas.csic.es/index.php/arbor/article/view/1881