Corradini, Antonella, and Sergio Galvan. 2024. “A Note on Gödel’s First Disjunct Formalised in DTK System”. Logic and Logical Philosophy 33 (4):555-65. https://doi.org/10.12775/LLP.2024.025.