Return to Article Details Analysis of Penrose’s Second Argument Formalised in DTK System Download Download PDF