Cette initiation à la logique moderne explore les divers types de raisonnement tels que la déduction, l'induction, le raisonnement par l'absurde, par récurrence ou par analogie. L'auteur traite également du syllogisme et propose une série d'exercices résolus et commentés.