Corradini, A. and Galvan, S. 2024. A Note on Gödel’s First Disjunct Formalised in DTK System. Logic and Logical Philosophy. 33, 4 (Oct. 2024), 555–565. DOI:https://doi.org/10.12775/LLP.2024.025.