CARRARA, Massimiliano and MARTINO, Enrico. A Note on Gödel, Priest and Naïve Proof. Logic and Logical Philosophy. Online. 15 October 2020. Vol. 30, no. 1, pp. 79-96. [Accessed 31 December 2025]. DOI 10.12775/LLP.2020.017.