Corradini A, Galvan S. Analysis of Penrose’s Second Argument Formalised in DTK System. LLP [Internet]. 2021 Dec. 16 [cited 2024 Jul. 5];31(3):471-500. Available from: https://apcz.umk.pl/LLP/article/view/33456