CORRADINI, Antonella and GALVAN, Sergio. Analysis of Penrose’s Second Argument Formalised in DTK System. Logic and Logical Philosophy. Online. 16 December 2021. Vol. 31, no. 3, pp. 471-500. [Accessed 4 December 2024]. DOI 10.12775/LLP.2021.019.