Logique pour l'informatique
Coll. Références Sciences

Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés. Se tournant ensuite vers les rapports de la logique et de l'informatique , il présente les méthodes algorithmiques de démonstration automatique .