I purchased Logic in Computer Science 2nd Edition recently in preparation for an exam I have soon. This book has proven to be very useful, it’s full of useful information and exercises to complete. However, one caveat I have with the book is that they don’t provide completed solutions to the exercises. This seems to be a common trait in the majority of Computer Science books that I’ve read recently and it makes very difficult to know whether your solutions are correct or incorrect.
After some time searching, I found the official solution book to accompany this text, it contains fully completed exercises from the book.
Here’s a link to download a PDF version of the solution book: http://www.mediafire.com/?hkz2ld22l6dk8cb
Hopefully it helps you as much as it has helped me!