Corradini, Antonella, and Sergio Galvan. “Analysis of Penrose’s Second Argument Formalised in DTK System”. Logic and Logical Philosophy 31, no. 3 (December 16, 2021): 471–500. Accessed July 5, 2024. https://apcz.umk.pl/LLP/article/view/33456.