Logique et mathématiques pour l'informatique et l'I.A. : 109 exercices corrigés - Jacquemin, Christian. (Masson, 1994)