1 - Algèbre et topologie boléennesPonasse, Daniel / Carrega, Jean-Claude (1944-....)Cote : [11 PON 79]
2 - Logique mathématique : éléments de base, calcul propositionnel, calcul des prédicatsPonasse, DanielCote : [05 PON 67]