Discrete Mathematics Using a Computer, 2nd Edition