Manuel de logique Ce manuel, qui constitue une introduction à la logique formelle contemporaine, est composé de cours, d'exemples détaillés et d'exercices corrigés. Il utilise le cadre de la « logique des dialogues » et peut être utilisé par des personnes souhaitant s'initier à la logique tout comme par des étudiants souhaitant approfondir leur formation en logique en découvrant un cadre logique non-standard, particulièrement adapté pour exprimer une pluralité de logiques. Grâce à la « logique des dialogues », la logique formelle est abordée sous forme de jeu, avec des règles d'interaction qui définissent la signification des connecteurs. Changer les règles du jeu permet de changer de logique et de passer, par exemple, de la logique classique à la logique intuitionniste.