Reading

The set text for this course is:

Kelly, J. (1997) ``The Essence of Logic'', Prentice-Hall.

This book covers all of the material that will be taught on the course, as well as providing additional material. Copies  have been ordered for the bookshop.

Some general introductions to computer science that usefully cover aspects of the course material are:

Aho, A.V. & J.D. Ullman (1992) ``Foundations of Computer Science'', W.H. Freeman and Company
 

Scheurer, T. (1994) ``Foundations of Computing: System Development with Set Theory and Logic'', Addison-Wesley

Other relevant texts (for browsing, but only buy out of your own interest).

Nissanke, N. (1998) ``Introductory Logic and Sets for Computer Scientists'', Addison-Wesley.

Quite useful, according to some of the students on last year's version of the course, though I haven't looked at it myself very closely.

Garnier, R. & J. Taylor (1996) ``100% Mathematical Proof'', Wiley.

Not a logic text this, strictly speaking, but a great title and an entertaining and very accessible read for those interested in mathematical proof techniques. Good background.