CORRADINI, Antonella and GALVAN, Sergio. A Note on Gödel’s First Disjunct Formalised in DTK System. Logic and Logical Philosophy. Online. 23 October 2024. Vol. 33, no. 4, pp. 555-565. [Accessed 21 January 2025]. DOI 10.12775/LLP.2024.025.