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 25 July 2024]. DOI 10.12775/LLP.2020.017.