Corradini, A. and Galvan, S. 2021. Analysis of Penrose’s Second Argument Formalised in DTK System. Logic and Logical Philosophy. 31, 3 (Dec. 2021), 471–500. DOI:https://doi.org/10.12775/LLP.2021.019.