Ce manuel, qui constitue une introduction a la logique formelle contemporaine, est compose de cours, d'exemples detailles et d'exercices corriges. Il utilise le cadre de la logique des dialogues et peut etre utilise par des personnes souhaitant s'initier a la logique tout comme par des etudiants souhaitant approfondir leur formation en logique en decouvrant un cadre logique non-standard, particulierement adapte pour exprimer une pluralite de logiques. Grace a la logique des dialogues , la logique formelle est abordee sous forme de jeu, avec des regles d'interaction qui definissent la signification des connecteurs. Changer les regles du jeu permet de changer de logique et de passer, par exemple, de la logique classique a la logique intuitionniste. Zoe McConaughey est maitresse de conferences en logique et epistemologie au departement de philosophie de l'Universite de Lille, UMR 8163 STL. Elle promeut et developpe la logique des dialogues , et se specialise en philosophie et en histoire de la logique, en etudiant notamment la logique d'Aristote.