Carrara, M., & Martino, E. (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