TY - JOUR AU - Carel, Marion TI - Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique JO - Mathématiques informatique et sciences humaines PY - 1995 SP - 43 EP - 59 VL - 130 PB - Ecole des hautes-études en sciences sociales UR - http://www.numdam.org/item/MSH_1995__130__43_0/ LA - fr ID - MSH_1995__130__43_0 ER -