Computer Laboratory

Course pages 2011–12

Introductory Logic

Further information:

The Wikipedia page on First-order logic" gives a nice summary.