CARRARA, M.; MARTINO, E. 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: 27 apr. 2024.