Alves, T. de C. 2021. Para uma avaliação da tese de normalização sobre a identidade das provas: o caso da tese da igreja-turing como pedra de toque. Manuscrito: Revista Internacional de Filosofia. 43, 3 (fev. 2021), 114–163.