Les fondements de la logique vue en cours d'informatique et de mathématiques appliquées à l'informatique, avec de nombreux exercices corrigés et une ouverture sur des applications pratiques : logique et base de données, structures automatiques et jeux d'évaluation. Accessible gratuitement, l'outil en ligne Pravda donne accès à des exercices en logique formelle pour les systèmes de preuve.