Carrara, M., and E. Martino. “A Note on Gödel, Priest and Naïve Proof”. Logic and Logical Philosophy, vol. 30, no. 1, Oct. 2020, pp. 79-96, doi:10.12775/LLP.2020.017.