27 nov. 2012 - Considérant que Monsieur François Gauthier rappelle avoir fait une déclaration d'appel par voie électronique le 12 avril 2012 du jugement ...
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.