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