Logique - Méthodes pour l'informatique fondamentale
(volume 1)
Paul Gochet & Pascal Gribomont
Éditions Hermes, 1997 (456 pages)
Présente les calculs des propositions et prédicats, et introduit les théories du premier ordre, avec un accent sur les aspects calculatoires utiles en informatique et en IA .
Il est considéré comme le premier manuel complet de logique en langue française, combinant dimension pratique et rigueur conceptuelle .
La couverture est légèrement abîmée mais le contenu est en très bon état.