S'adresse à quiconque s’intéresse à l’art (ou plutôt à la science) du raisonnement et dispose du temps et de la disponibilité nécessaires à la spéculation abstraite. Quatre parties : la vérité qui vise à distinguer le vrai du faux, la logique des valeurs de vérité et les tables de vérité, la preuve en mathématiques, la logique à l’ensemble des mathématiques.