Bagaria, J. El Legado De Turing En La lógica matemática Y Los Fundamentos De Las matemáticas. Arbor 2013, 189, a079.