La troisième édition de notre ouvrage « Introduction à la logique : théorie de la démonstration », aux éditions Dunod parait en ce mois de septembre.
Karim Nour, enseignant-chercheur au LAMA et directeur du département de Mathématiques de l’UFR Sciences et Montagne, est l’un des trois auteur de cet ouvrage.
Paru pour la première fois en 2001, ce livre a rencontré un vif succès et a accompagné, depuis plus de vingt ans, de nombreux étudiants, enseignants et chercheurs dans leur formation en logique mathématique. Son intérêt et sa pertinence lui ont permis de rester disponible sans interruption pendant un quart de siècle.
Cette nouvelle édition propose quelques compléments et ajustements, abordant certaines notions absentes des versions précédentes, afin de mieux répondre aux besoins de l’enseignement et de la recherche.