Corradini, Antonella, and Sergio Galvan. “A Note on Gödel’s First Disjunct Formalised in DTK System”. Logic and Logical Philosophy 33, no. 4 (October 23, 2024): 555–565. Accessed January 21, 2025. https://apcz.umk.pl/LLP/article/view/40776.