Quatrième de
couverture
Des fiches synthétiques sur les principales manières de mener une preuve en mathématiques : fondements de la logique propositionnelle et de la logique du premier ordre, démonstrations par implication, par l'absurde ou par contre-exemple, résolution d'équations par suite d'équivalences ou par conditions nécessaires et suffisantes, entre autres.