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