Carrara M, Martino E. A Note on Gödel, Priest and Naïve Proof. LLP [Internet]. 2020 Oct. 15 [cited 2024 Apr. 26];30(1):79-96. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2020.017