Mathematiques pour l' informatique - Arnold, A. (Logique mathematiques informatique ;, 1994)