BAGARIA, J. El legado de Turing en la lógica matemática y los fundamentos de las matemáticas. Arbor, [S. l.], v. 189, n. 764, p. a079, 2013. DOI: 10.3989/arbor.2013.764n6002. Disponível em: https://arbor.revistas.csic.es/index.php/arbor/article/view/1881. Acesso em: 22 feb. 2024.