My colleague Edmund Burke and I have written a book entitled "Logic and its applications", just published in the Prentice Hall International Series in Computer Science.

Its ISBN is 0-13-030263-5.

For more details of the material covered, see the contents page.

It was typeset by Dr George F Paechter.

It contains worked examples, and many exercises (solutions available to authenticated teachers), and OHP transparencies can be made available.