Présenté en deux volumes, Logique propose une mise au point complète sur l'utilisation de la logique, à partir des résultats et des méthodes d'exposition les plus récents. Le premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en informatique et intelligence artificielle.
L'une des originalités du livre, premier manuel complet de logique en langue française, est de combiner le souci pratique avec une réelle rigueur conceptuelle. Cet ouvrage peut dès lors être un outil indispensable à tout approfondissement théorique.