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