Discrete Mathematics for Computer Scientists (International Computer Science Series)