Carrara, Massimiliano, and Enrico Martino. 2020. “A Note on Gödel, Priest and Naïve Proof”. Logic and Logical Philosophy 30 (1):79-96. https://doi.org/10.12775/LLP.2020.017.