CARRARA, Massimiliano; MARTINO, Enrico. A Note on Gödel, Priest and Naïve Proof. Logic and Logical Philosophy, [S. l.], v. 30, n. 1, p. 79–96, 2020. DOI: 10.12775/LLP.2020.017. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2020.017. Acesso em: 8 jul. 2025.