Mathematical Structures for Computer Science: Solutions Manual