suivant: Table des matières
Table des matières
Index
Logique et démonstration automatique :
Une introduction à la logique propositionnelle et à la
logique du premier ordre
Stéphane Devismes
Pascal Lafourcade
Michel Lévy
Date: 2011/2012
Benjamin Wack
2013-01-08