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