DaVince Tools Generated PDF File - PhilArchive

Oct 16, 2014 - 'pure mathematics is the class of all propositions of the form "p implies q*.' And ... possible the actual reasoning used in mathematical proofs.
449KB taille 2 téléchargements 260 vues