Suggested books:

This course has 25% coursework.

Lecture notes are provided as-is, with no guarantees of correctness or relevance. Applications of Logic (66 pages, 700kB)