A Teacher's Manual with the solutions to all the exercises in this logic book
is available to all teachers who have placed their book order for this book
for their logic course. When you make your request for this manual, you will
be given a password which allows you to access the manual. You will then
be able to print out this manual, but the manual can not be downloaded.

You can make your request here.