Carrara, M. and Martino, E. 2020. A Note on Gödel, Priest and Naïve Proof. Logic and Logical Philosophy. 30, 1 (Oct. 2020), 79–96. DOI:https://doi.org/10.12775/LLP.2020.017.