Corradini, Antonella, and Sergio Galvan. “A Note on Gödel’s First Disjunct Formalised in DTK System”. Logic and Logical Philosophy, vol. 33, no. 4, Oct. 2024, pp. 555-6, doi:10.12775/LLP.2024.025.