CORRADINI, A.; GALVAN, S. Analysis of Penrose’s Second Argument Formalised in DTK System. Logic and Logical Philosophy, [S. l.], v. 31, n. 3, p. 471–500, 2021. DOI: 10.12775/LLP.2021.019. Disponível em: https://apcz.umk.pl/LLP/article/view/33456. Acesso em: 5 jul. 2024.