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