Corradini A, Galvan S. A Note on Gödel’s First Disjunct Formalised in DTK System. LLP [Internet]. 2024 Oct. 23 [cited 2025 Jan. 21];33(4):555-6. Available from: https://apcz.umk.pl/LLP/article/view/40776