Manual Discrete Mathematics Jan 2005