Corradini, Antonella, and Sergio Galvan. 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.