2/2 - Présentation des règles de la déduction naturelle et analyses de formulations de deux autres preuves

Nous proposons ici deux vidéos de présentation d’un atelier “Pratiques langagières et preuves” par Christophe Hache et Zoé Mesnil. Initialement présenté lors du colloque de la Corfem en juin 2015, la présentation filmée s’est déroulée en février ...