Logic and Discrete Mathematics : A Concise Introduction, Solutions Manual