Email Record: Logique mathematique, elements de base: calcul propositionnel, calcul des predicats.